Teoretyczne podstawy informatyki, II SPPI
Dr inż. Agnieszka Prusiewicz2 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 niedeterministycznego RS-automatu w deterministyczny RS-automat.
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