utótag gép
[Edit] Leírás
Tekintsünk egy véges ábécé. Let - egy sor szavak ábécé. Utótag gép - egy sor, ahol
- - véges halmaza,
- - az eredeti állapot,
- - egy sor végleges állapotokat,
- - átviteli függvény.
For és meghatározni, ha az állapot megközelíthető az átmenet a szimbólum. Átmeneti függvény szó, és azt jelenti, hogy ha létezik, az állapot elérése után, miután elolvasta a szavakat az állam. A gép érzékeli a nyelvet.
Utótag automatikus vonal jelentése egy aciklikus orientált gráf. egy kezdeti csúcs és több terminál csomópontok, amelyek széleit vannak jelölve szimbólumok:
- A tetején a grafikon - az állam gép, és a széleket - átmenetek
- minden egyes átmenet a gép - él a grafikonon, jelzett néhány szimbólum, és az összes élek származó egy csúcs különböző címkék,
- egyik állam az úgynevezett kezdeti, mert elért összes többi állam,
- egy vagy több állam van jelölve terminál - ha megy a kezdeti állapotban a terminál által bármilyen módon, és így írja szimbólumok átmenetek, megkapjuk az egyik utótag karakterlánc.
Példa utótag automata a sorban.
Feltétel kap a sort, ha van egy útvonal a kezdeti állapotban, hogy ha egymás után levelet ír az élek az utat kapnak vonalat.
Gép vesz egy húr, ha kap legalább az egyik végső állapot.
Mivel a készülék determinisztikus, akkor minden pálya megfelel a vonalon.
Ha a két vonalat venni, és egy állam minden gép, akkor bármilyen karaktersorozat vonalak, és elfogadta, illetve nem elfogadott automatikusan ugyanabban az időben. Sőt, függetlenül attól, hogy már jön az állam, ha menjünk ki belőle a megfelelő útvonalon a sorban, mi lesz pontosan megmondani, hogy milyen állapotban kapjuk, hogy (különösen, hogy ez lesz a végső). Ez azt jelenti, bármely állapot megfelel a sorokból, ami lefordítja az egyik végső állapot.
A készlet az úgynevezett a megfelelő kontextusban állam.
A jobb kereteket az nem csak a feltétel, hanem a sorokat, hogy vesz - megfelelő kontextusban sorok egybeesik a megfelelő kontextusban állam.
Államokban a gép nem kevesebb, mint a különböző jogi környezetben alkarakterláncok, amelyre épül, és a gép által elért minimális alsó határ.
Tegyük fel, hogy a gép két állam olyan, hogy. Mi lehet eltávolítani a feltételt, és részeinek lefordítására vezető állama. Kaptam egy csomó sort nem fog változni, ezért tudjuk folytatni, amíg az állapotok száma nem egyenlő a több különálló jobb kontextusban.
Így a DFA minimális, ha van, és csak akkor, ha az összes jogot kontextusban államok különböznek. Ez az utótag automaták megfelelő kontextusban kölcsönösen egysoros megfelel több előfordulás vonal jobb pozíciók a húr. Így minden állam gép megkapja a sorban ugyanazokat a megfelelő pozíciókat előfordulásuk és fordítva, minden húrok sokaságával által elfogadott álláspont ebben az állapotban.