1 | initial version | posted 2014-11-16 13:16:50 +0100 Anonymous |
Ahojte, chcel by som sa este spytat, aby som si bol isty v jednej veci. Mam ulohu napr.
Jazyky nad {a,b}. První jazyk obsahuje věty, kde počet 'a' je dělitelný třema. Druhý jazyk obsahuje věty, které obsahují 'aab'. Udělejte průnik automatů. (metoda skládání)
Nakreslim si obidva automaty a prepisem ich do tabulky. Potom tie dve tabulky prepisem do jednej podobnym sposobom ako pri determinizacii, to znamena, spojim vstupne stavy do jedneho, a doplnujem do tabulky kam sa to posuva. Ak vznikne novy stav dopisem. A a aby bol stav vystupny, musia byt obidva vystupne stavy z povodnych automatov (napr. prvy automat mal vystupny stav A a druhy automat mal vystupny B, tak stav AB bude vystupny, no napr CB uz vystupny nebude.) Je to tak spravne? A este otazka na doplnok automatu, tie stavy, ktore nie su vystupne tak budu, a co s vystupnymi stavmi? Zmenia sa na vstupne? Dakujem velmi pekne.
2 | No.2 Revision |
Ahojte, chcel by som sa este spytat, aby som si bol isty v jednej veci. Mam ulohu napr.
Jazyky nad {a,b}. První jazyk obsahuje věty, kde počet 'a' je dělitelný třema. Druhý jazyk obsahuje věty, které obsahují 'aab'. Udělejte průnik automatů. (metoda skládání)
Nakreslim si obidva automaty a prepisem ich do tabulky. Potom tie dve tabulky prepisem do jednej podobnym sposobom ako pri determinizacii, to znamena, spojim vstupne stavy do jedneho, a doplnujem do tabulky kam sa to posuva. Ak vznikne novy stav dopisem. A a aby bol stav vystupny, musia byt obidva vystupne stavy z povodnych automatov (napr. prvy automat mal vystupny stav A a druhy automat mal vystupny B, tak stav AB bude vystupny, no napr CB uz vystupny nebude.) Je to tak spravne? A este otazka na doplnok automatu, tie stavy, ktore nie su vystupne tak budu, a co s vystupnymi stavmi? Zmenia sa na vstupne? Dakujem velmi pekne.
3 | No.3 Revision |
Ahojte, chcel by som sa este spytat, aby som si bol isty v jednej veci. Mam ulohu napr.
Jazyky nad {a,b}. První jazyk obsahuje věty, kde počet 'a' je dělitelný třema. Druhý jazyk obsahuje věty, které obsahují 'aab'. Udělejte průnik automatů. (metoda skládání)
Nakreslim si obidva automaty a prepisem ich do tabulky. Potom tie dve tabulky prepisem do jednej podobnym sposobom ako pri determinizacii, to znamena, spojim vstupne stavy do jedneho, a doplnujem do tabulky kam sa to posuva. Ak vznikne novy stav dopisem. A aby bol stav vystupny, musia byt obidva vystupne stavy z povodnych automatov (napr. prvy automat mal vystupny stav A a druhy automat mal vystupny B, tak stav AB bude vystupny, no napr CB uz vystupny nebude.) Je to tak spravne? A este otazka na doplnok automatu, tie stavy, ktore nie su vystupne tak budu, a co s vystupnymi stavmi? Zmenia sa na vstupne? Dakujem velmi pekne.