„Formális nyelvtan” változatai közötti eltérés

 

* Egy '''generatív nyelvtan''', a legismertebb kategória, azoknak a szabályoknak a halmaza, amelyekkel minden, a nyelvben lehetséges [[string|jelsorozat]] előállítható, azaz leírja, hogyan lehet ''előállítani'' egy [[átírás (nyelvészet)|átírási]] eljárással a kitüntetett kezdő szimbólumból a többi jelsorozatot a szabályokat egymás után alkalmazásával. A generatív nyelvtan a valóságban egy [[algoritmus]]t formalizál, ami a nyelv összes jelsorozatát ''generálja''.

* Egy '''analitikus nyelvtan''', ellenpólusként, azoknak a szabályoknak a halmaza, amelyeknek egy ''bemenő'' jelsorozatra való egymás utáni alkalmazása (''redukció'' vagy ''elemzés'') végül egy logikai, [[Boolean adattípus|boolean]] típusú eredményt ad, azaz "igen/nem" választ ad arra a kérdésre, hogy a ''bemenő'' jelsorozat a nyelvtannal leírt nyelvnek megfelel vagy sem. Egy analitikus nyelvtan a valóságban egy nyelv [[elemző (informatika)|elemző]]jének formalizált leírást adja meg.