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

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Syp (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
Hkbot (vitalap | szerkesztései)
a Bottal végzett egyértelműsítés: Átírás –> átírás (nyelvészet)
7. sor:
A formális nyelvtanok két fő kategóriába oszthatók: ''generatív'' és ''analitikus'' nyelvtanok.
 
* Egy '''generatív nyelvtan''', a legismertebb kategória, azoknak a szabályoknak a halmaza, amelyekkel minden, a nyelvben lehetséges [[string (informatika)|jelsorozat]] előállítható, azaz leírja, hogyan lehet ''előállítani'' egy [[átírás (nyelvészet)|átírási]]i 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 is 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ő]]jének formalizált leírást adja meg.