A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Frázová gramatika je jeden z najdôležitejších modelov na opis formálnych jazykov.
Jednotlivé slová gramatika generuje pomocou svojich pravidiel zo štartovacieho symbolu. V každom kroku je možné podľa pravidiel prepísať istú časť už vytvoreného slova na iné. Do jazyka, ktorý táto gramatika generuje, potom vyberieme tie odvodené slová, ktoré sa skladajú len zo špeciálnych symbolov -- terminálov.
Definícia
Frázová gramatika je usporiadaná štvorica , kde
- je abeceda neterminálnych symbolov (neterminálov),
- je abeceda terminálnych symbolov (terminálov), pričom ,
- je množina prepisovacích pravidiel (konečná!),
- je počiatočný neterminál.
Prvky relácie (prepisovacie pravidlá) sa zvyknú označovať zápisom , ktorý názornejšie vyjadruje, že časť vo vetnej forme sa má prepísať na .
Prepisovanie, odvodenie a jazyk generovaný frázovou gramatikou zavedieme teraz formálne:
Krok odvodenia v gramatike je binárna relácia na množine vetných foriem (t. j. ) označovaná symbolicky a definovaná takto:
práve vtedy, keď pre nejaké
Symbol označuje reflexívno-tranzitívny uzáver relácie .
Jazyk generovaný gramatikou je množina terminálnych slov .
Sila
Trieda jazykov, ktoré dokážu vygenerovať frázové gramatiky, je presne tá istá trieda, ktorú dokážu akceptovať Turingove stroje. Táto trieda jazykov sa nazýva ako trieda rekurzívne vyčísliteľných jazykov a označuje sa .
Postupným pridávaním rôznych obmedzení na pravidlá frázových gramatík získame (väčšinou) slabšie gramatiky (t. j. generujúce ostrú podmnožinu rekurzívne vyčísliteľných jazykov), napr. kontextové gramatiky, bezkontextové gramatiky či regulárne gramatiky. Rekurzívne vyčísliteľné jazyky stoja na vrchu Chomského hierarchie jazykov.
Keďže frázová gramatika ako taká má konečný zápis (hoci reprezentuje potenciálne nekonečný objekt -- jazyk), všetkých frázových gramatík je spočítateľne veľa, z čoho vyplýva, že k veľkej väčšine jazykov sa nedá nájsť príslušná frázová gramatika, ktorá ich generuje. Tieto jazyky sú však veľmi komplikované a vykazujú istú „nepredstaviteľnosť“. Príkladom jazykov, ktoré nie sú rekurzívne vyčísliteľné, sú komplement diagonálneho jazyka či komplement univerzálneho jazyka.
Formálne jazyky, automaty a gramatiky | |||
---|---|---|---|
Chomského hierarchia |
Gramatika | Jazyk | Minimálny automat |
Typ-0 | Frázová | Rekurzívne vyčísliteľný | Turingov stroj |
Rekurzívny | Vždy zastavujúci Turingov stroj | ||
Typ-1 | Kontextová | Kontextový | (Nedeterministický) lineárne ohraničený |
Typ-2 | Bezkontextová | Bezkontextový | (Nedeterministický) zásobníkový |
Typ-3 | Regulárna | Regulárny | Konečný |
Každá množina jazykov alebo gramatík je vlastnou nadmnožinou množiny priamo pod ňou. |
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antény
Chemické zdroje elektriny
Chladenie v elektrotechnike
Elektrická sústava automobilu
Elektrická trakcia
Elektrické prístroje
Elektrické súčiastky
Elektrické spotrebiče
Elektrické stroje
Čítanie (elektrotechnika)
Činný výkon
Štatistická dynamika
Živý vodič
Admitancia
Antiparalelné zapojenie
Asynchrónny motor
Blúdivý prúd
Bočník (elektrotechnika)
Diak (polovodičový prvok)
Displej s kvapalnými kryštálmi
Elektrická inštalácia
Elektrická rezonancia
Elektrická sila
Elektrická vodivosť
Elektrické zariadenie
Elektrický obvod
Elektrický zvonec
Elektroenergetika
Elektromer
Elektrometer
Elektromobil
Elektromotor
Elektromotorické napätie
Elektrotechnický náučný slovník
Elektrotechnika
Elektrotechnológia
Fázor
Faradayova klietka
Frekvencia (fyzika)
Graetzov mostík
Impedancia
Indukčnosť
Induktancia
Istič
Izolácia (elektrotechnika)
Izolant
Jadro vodiča
Jednobran
Jednosmerný prúd
Joulovo teplo
Katóda
Koaxiálny kábel
Kompenzácia účinníka
Konduktometria
Konektor (elektrotechnika)
Korónový výboj
Lanko (elektrotechnika)
Leptanie
Logické hradlo
Magnetická susceptibilita
Magnetizácia (veličina)
Merný elektrický odpor
Mobilné zariadenie
Napájací zdroj
Napäťový chránič
Napäťový násobič
Nortonova veta
Odpínač
Odpojovač
OLED
Olovený akumulátor
Paralelné zapojenie
Peltierov článok
Plošná hustota elektrického prúdu
Poistka (elektrotechnika)
Posuvný prúd
Prúdový chránič
Prenosové médium
Prieletový klystrón
Primárny elektrochemický článok
Reaktancia
Rekuperácia (dopravný prostriedok)
Relé
Reproduktorová výhybka
Rezistancia
Rozhranie (interface)
Sériové zapojenie
Seebeckov jav
Sekundárny elektrochemický článok
Settopbox
Skrat
Sonar
Spínač
Spínaný zdroj
Straty v mikropásikových vedeniach
Striedavý prúd
Stupeň ochrany krytom
Svetelná výbojka
Symetrizačný člen
Technická normalizácia
Tepelné relé
Tepelne vodivostný detektor
Termočlánok
Théveninova veta
Transformátor
Transformátor s fázovou reguláciou
Trojfázová sústava
Tuhá fáza (elektronika)
Tyratrón
Usmerňovač (elektrotechnika)
Uzemnenie
Uzol (vodiče)
Vírivý prúd
Výbojka
Varistor
Ventilátor
Vodič (elektrotechnika)
Voltov stĺp
Vstavaný systém
Zásuvka (elektrotechnika)
Zdroj (elektrotechnika)
Zisk antény
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk