AUTOMATY I JĘZYKI FORMALNE – WEJŚCIÓWKA. 1. Podaj

AUTOMATY I JĘZYKI FORMALNE – WEJŚCIÓWKA.
1. Podaj określenie alfabetu, łańcucha (słowa) nad danym alfabetem oraz operacji wykonywanych na łańcuchach.
Dla każdej operacji oprócz definicji podaj przykład.
2. Podaj określenie języka nad danym alfabetem. Wymień operacje wykonywane na językach. Podaj definicję
konkatenacji języków, własności konkatenacji oraz przykład.
3. Podaj określenie języka nad danym alfabetem. Wymień operacje wykonywane na językach. Podaj definicję
transpozycji (odwrotności) języka, własności transpozycji oraz przykład.
4. Podaj określenie języka nad danym alfabetem. Wymień operacje wykonywane na językach. Podaj definicję
potęgi języka, własności potęgi oraz przykład.
5. Podaj określenie języka nad danym alfabetem. Wymień operacje wykonywane na językach. Podaj definicję i
własności domknięcia Kleene’go języka.
6. Podaj określenie języka nad danym alfabetem. Wymień operacje wykonywane na językach. Podaj definicję i
własności domknięcia dodatniego języka.
7. Podaj definicję deterministycznego automatu skończonego – DAS. Opisz słownie funkcję przejścia. Co to
znaczy, że automat jest deterministyczny?
8. Dla danego automatu deterministycznego M podaj określenie konfiguracji, funkcji | M na konfiguracjach
oraz obliczenia dla słowa w. Podaj określenie języka akceptowanego przez automat M posługując się pojęciami
konfiguracji i obliczenia.
9. Podaj definicję niedeterministycznego automatu skończonego – NAS. Czym różni się NAS od DAS tzn. na
czym polega niedeterminizm tego automatu?
10. Dla niedeterministycznego automatu skończonego (NAS) podaj określenie języka akceptowanego przez ten
automat, korzystając z pojęcia konfiguracji i obliczenia.
11. Podaj definicję niedeterministycznego automatu skończonego z pustymi przejściami NAS . Na czym polega
różnica między NAS i NAS.
12. Podaj określenie równoważności automatów. Jakie są związki między klasami języków akceptowanych przez
automaty DAS, NAS i NAS. Krótko uzasadnij odpowiedź.