Lista_2

Teoretyczne podstawy informatyki, II SPPI
Dr inż. Agnieszka Prusiewicz
2 Lista zadań
RS-automat
Zad.1
Narysować diagramy RS-automatów definiujące języki o następujących własnościach:
a) L(A)={x: x to dowolne słowo nad alfabetem V={a,c} o długości większej od 2}
b) L(A)={x: x dowolne słowo nad alfabetem V=(a,b,c}, w którym liczba wystąpień
symbolu a jest parzysta, symbolu b- nieparzysta, symbolu c-dowolna}
c) L(A)={x: x to dowolne słowo nad alfabetem V={a,b,c}, w którym liczba wystąpień
symbolu b jest parzystą wielokrotnością liczby wystąpień symbolu a, zaś liczba
wystąpień symbolu c zawsze o jeden mniejsza od liczby wystąpień symbolu b}.
d) L(A)={x: x to dowolne słowo nad alfabetem V zawierające podciąg 11}
Zad. 2
Narysować diagramy deterministycznych RS-automatów akceptujących następujące języki
nad alfabetem V={0,1}
a) L(A)={x: x to zbiór słów zakończonych 00}
b) L(A)={x: x to zbiór wszystkich słów, w których każdy kolejny blok składający się z
pięciu symboli zawiera co najmniej dwa zera}
c) L(A)={x: x to zbiór wszystkich słów zaczynających się od 1, które interpretowane
jako binarna reprezentacja liczby całkowitej są kongruentne z zerem modulo 5}
Zad. 3
Zaproponować algorytm przekształcania
deterministyczny RS-automat.
niedeterministycznego
Rozwiązania zadań proszę przygotować na osobnych kartkach.
Termin realizacji 15.04.2008 (wtorek, godz.11, C-6, 121)
(pominąć zadania rozwiązane na poprzednich ćwiczeniach)
Agnieszka Prusiewicz
RS-automatu
w