Főmenü megnyitása

Módosítások

a
Robot: Automatikus szövegcsere (-([pP])édául +\1éldául)
== Hogyan dönthető el egy nyelvről, hogy szabályos-e ==
 
A szabályos nyelvek [[Chomsky féle hierarchia]]beli helye szerint minden szabályos nyelv [[környezet független nyelvtan|környezet független]]. A megállapítás visszafelé azonban nem igaz: pédáulpéldául az a nyelv, amely tartalmazza az összes olyan stringet, amelyekben ugyanannyi ''a'''s van, mint ''b'', az környezet független, de nem szabályos. Annak bizonyítására, hogy a fenti nem nem szabályos, a [[Myhill-Nerode tétel]] vagy a [[pumping lemma]] használható.
 
A következőkben két tisztán algebarai megközelítést mutatunk a szabályos nyelvek meghatározásra.
22 090

szerkesztés