Deterministički kontekstno neovisni jezik: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
CrniBot (razgovor | doprinosi)
m Bot: Zamjena stub u mrva
čišćenje (AWB)
Redak 1:
'''Deterministički kontekstno neovisni jezik''' je [[formalni jezik]] koji je pravi [[podskup]] skupa svih jezika koje definiraju kontekstno neovisne gramatike.<ref> {{cite book | last = [[John Hopcroft|Hopcroft]] | first = John | coauthors = [[Jeffrey Ullman]] | title = [[Introduction to automata theory, languages, and computation]] | year = 1979 | publisher = Addison-Wesley | pages = 233 }} </ref> Skup svih determinističkih kontekstno neovisnih jezika je identičan skupu jezika koje prihvaćaju [[deterministički potisni automat|deterministički potisni automati]]i.
 
Deterministički kontekstno neovisni jezici su pravi podskup jezika koji posjeduju nejednoznačne kontekstno neovisne gramatike. Postoje i jezici sa nejednoznačnim kontekstno neovisnim gramatikama, poput S → 0S0 | 1S1 | ε, koja je nejednoznačna i definira samo jezik [[palindrom]]a binarne abecede, te se razvidno i ne može [[parser|parsirati]] determinističkim potisnim automatom. <ref> {{cite book | last = [[John Hopcroft|Hopcroft]] | first = John | coauthors = [[Rajeev Motwani]] & [[Jeffrey Ullman]] | title = [[Introduction to automata theory, languages, and computation]] 2nd edition | year = 2001 | publisher = Addison-Wesley | pages = 249-253 }} </ref>
Redak 11:
 
{{Formalni jezici i gramatike}}
 
[[Kategorija:Formalni jezici]]