NEW
Font size
WorksheetsAutomaty
Total questions: 64
Worksheet time: 42mins
Podany poniżej diagram przejść przedstawia
automat DAS
automat NAS nie będący DAS
automat ε-NAS nie będący NAS
automat ze stosem AZS
Język rozpoznawany przez automat DAS przedstawiony na powyższym diagramie przejść, to zbiór wszystkich słów nad alfabetem Σ = {0,1}
zawierających parzystą liczbę symobli 1
zawierających nieparzystą liczbę symboli 0
zawierających nieparzystą liczbę symboli 0 i parzystą liczbę symboli 1
o nieparzystej długości
Dany jest automat ε - NAS (Q, Σ, ð, q0, F). Prawdą jest, że
nie można przekształcić go na równoważny automat NAS
równoważny mu automat NAS będzie miał |Q| stanów
równoważny mu automat NAS będzie miał |2^q| stanów
równoważny mu automat NAS będzie miał |QxΣ| stanów
Przy konwersji automatu Mealy'ego na automat Moore'a
nie zmienia się zbiór stanów
nie zmienia się funkcja przejścia
nie zmienia się funkcja wyjścia
nie zmienia się alfabet wyjściowy
Jeżeli automat ε-NAS znajduje się w jednym stanie q i czyta symbol wejściowy a oraz wartość funkcji przejścia ð(q,a) = {q} gdzie q jest stanem akceptującym, to automat ten
zakończony obliczanie i odrzuci słowo wejściowe
zakończony obliczanie i zaakceptuje słowo wejściowe
będzie kontynuować obliczanie
będzie kontynuować obliczanie tylko wtedy, gdy istnieje możliwość wykonania jednego lub kilku ε-przejść ze stanu q, w wyniku których automat może dotrzeć do stanu posiadającego przejście dla symbolu a
Język rozpoznawany przez powyższy automat NAS, to zbiór wszystkich słów nad alfabetem Σ = {a,b}
opisanych wyrażeniem regularnym b*aa
zawierających podsłowo aa
rozpoczynających się podsłowem aa
kończących się podsłowem aa
W przedstawionym powyżej automacie
ε-NAS, ε-domknięciem stanu q2 jest zbiór
{q1}
{q0,q1}
{q1,q2}
{q0,q1,q2}
Po konwersji automatu ε-NAS z zadania 7 w automat NAS zbiór stanów akceptujących będzie równy
{q1}
{q0,q1}
{q0,q1,q2}
{q1,q2}
Które z podanych niżej zapisów jest prawem algebry wyrażeń regularnych
(r, s, t są dowolnymi wyrażeniami regularnymi)
rs = sr
rε = ε
r∅ = ∅
r r* = r*
Wyrażenie regularne (0|1)*1 opisuje zbiór wszystkich słów nad alfabetem Σ = {0,1}
zawierających przynajmniej jeden symbol 1
parzystej długości kończących się symbolem 1
nieparzystej długości kończących się symbolem 1
kończących się symbolem 1
W wyrażeniu regularnym a(a*|b)
najpierw wykonywane jest domknięcie *, potem suma |, a na końcu założenie
najpierw wykonywana jest suma, potem domknięcie, a na końcu założenie
najpierw wykonywane jest założenie, potem domknięcie, a na końcu suma
kolejność operacji jest inna od każdej z wyżej podanych
jest językiem:
regularnym
bezkontekstowym, ale nie jest on regularny
kontekstowym, ale nie jest on bezkontekstowy
rekurencyjnie przeliczalnym, ale nie jest on kontekstowy
Dana jest następująca gramatyka G = ({S, A, B}, {a, b, c}, P, S), gdzie:
P:
S → ABac
A → cA|ac
B → AbB
Gramatyka jest:
regularna
bezkontekstowa, ale nie jest regularna
kontekstowa, ale nie jest bezkontekstowa
jest gramatyką ogólnego rodzaju, która nie jest gramatyką kontekstową
Który z poniższych sposobów zapisu nie służy do opisu gramatyk bezkontekstowych
diagram przejść
notacja Backusa-Naura
rozszerzona notacja Backusa-Naura
wykresy składniowe
Wybierz zdanie prawdziwe z niżej podanych
Każdy język bezkontekstowy jest językiem regularnym
Każdy język kontekstowy jest językiem rekurencyjnie przeliczalnym
Każdy język rekurencyjnie przeliczalnym jest językiem rekurencyjnym
Każdy język rekurencyjnie przeliczalnym jest językiem kontekstowym
Przedstawiony powyżej wykres składniowy odpowiada następującej produkcji (produkcjom) w zapisie symbolicznym)
C → 1A|B
C → AB|1
C → 1AB
C → AB1
Jeśli język jest rozpoznawany przez pewną maszynę Turinga z własnością stopu, to jest on
regularny
bezkontekstowy
rekurencyjny
rekurencyjnie przeliczalny, ale nie musi być rekurencyjny
Maszyna Turinga
może przesuwać głowicę nad taśmą tylko w prawo
może przesuwać głowicę nad taśmą zarówno w lewo jak i w prawo
może czytać symbole z taśmy, ale nie może nic zapisywać na taśmie
może zapisywać symbole na taśmie, ale nie może odczytywać symboli z taśmy
Który z podanych problemów jest rozstrzygalny
problem stopu dla NAS
problem stopu dla maszyny Turinga
problem akceptacji dla maszyny Turinga
problem określenia czy język rozpoznawany przez maszynę Turinga jest regularny
Jeśli maszyna Turinga M kończy obliczanie dla pewnego słowa w odrzuceniem, to
słowo 'w' nie należy do języka L(M) rozpoznawanego przez tę maszynę
słowo 'w' należy do języka L(M) rozpoznawanego przez tę maszynę
jest to maszyna z własnością stopu
długość słowa 'w' jest większa od liczby stanów tej maszyny
Podany powyżej diagram przejść przedstawia
automat DAS
automat NAS nie będący DAS
automat ε-NAS nie będący NAS
automat ze stosem AZS
Język rozpoznawany przez automat przedstawiony na poniższym diagramie przejść, to zbiór wszystkich słów nad alfabetem Σ = {0,1}
o długości 1
o długości co najmniej 1
o nieparzystej długości
o nieparzystej długości złożonych z samych zer lub z samych jedynek
Przy konwersji automatu Moore'a na automat Melay'ego
zmienia się zbiór stanów
zmienia się funkcja przejścia
zmienia się funkcja wyjścia
zmienia się alfabet wejściowy
Jeżeli automat ε-NAS znajduje się w jednym stanie q i czyta symbol wejściowy 'a' oraz wartość funkcji przejścia ð(q,a) = ∅, to automat ten
zakończy obliczenie i zaakceptuje słowo wejściowe
zakończy obliczenie i odrzuci słowo wejśćiowe
zawsze będzie kontynuować obliczenie
będzie kontynuować obliczenie tylko wtedy, gdy istnieje możliwość wykonania jednego lub kilku ε-przejść ze stanu q, w wyniku których automat może dotrzeć do stanu posiadającego przejście dla symbolu 'a'
W wyrażeniu regularnym (a(a|b))*
najpierw wykonywane jest domknięcie *, potem suma |, a na końcu złożenie
najpierw wykonywana jest suma, potem złożenie a na końcu domknięcie
najpierw wykonywana jest suma, potem domknięcie, a na końcu złożenie
kolejność operacji jest inna od każdej z wyżej podanych
Wybierz zdanie fałszywe z niżej podanych
Każdy język bezkontekstowy jest językiem kontekstowym
Każdy język bezkontekstowy jest językiem regularnym
Każdy język rekurencyjny jest językiem rekurencyjnie przeliczalnym
Każdy język kontekstowy jest językiem rekurencyjnie przeliczalnym
Przedstawiony powyżej wykres składniowy odpowiada następującej produkcji (produkcjom) w zapisie symbolicznym
A → C|0B
A → B0|C
A → 0CB
A → 0|B|C
Maszyna Turinga
ma ograniczoną taśmę, z które może tylko czytać symbole z alfabetu taśmowego
ma ograniczoną taśmę, z które może czytać i na każdą może zapisywać symbole z alfabetu taśmowego
ma nieograniczoną taśmę, z której może czytać i na którą może zapisywać symbole z alfabetu taśmowego
ma nieograniczoną taśmę, z której może tylko czytać symbole z alfabetu taśmowego
Zbiór wszystkich języków nad danym alfabetem jest
skońćzony
nieskończony ale przeliczalny
nieprzeliczalny
nie można stwierdzić która z poprzednich odpowiedzi jest poprawna bez znajomości alfabetu
Dany jest automat NAS(Q,Σ,ð,q0,F), gdzie zbiór stanów jest n-elementowy.
Prawdą jest, że
każdy równoważny mu automat DAS będzie miał dokładnie 2^n stanów
otrzymany w wyniku konwersji automat DAS ma 2^n stanów, przy czym zwykle część jego stanów stanowi stany nieosiągalne ze stanów początkowego i takie stany można usunąć
równoważny mu automat DAS będzie miał n stanów
nie można przekształcić go na równoważny automat DAS
Język L (a^n b^m: n,m ∈ N) jest językiem
regularnym
bezkontekstowym, ale nie jest on regularny
kontekstowym, ale nie jest on bezkontekstowy
rekurencyjnie przeliczalnym, ale nie jest on kontekstowy
Podany powyżej diagram przejść przedstawia
automat DAS
automat ze stosem AZS
automat NAS nie będący DAS
automat ε-NAS nie będący NAS
Język rozpoznawany przez automat przedstawiony na powyższym diagramie przejeść, to zbiór wszystkich słów nad alfabetem Σ = {0,1}
kończących się symbolem 1
zawierających przynajmniej jeden symbol 0
zawierających przynajmniej jeden symbol 0 i kończących się symbolem 1
żaden z powyższych
Automat Mealy'ego w odpowiedzi na słowo wejściowe o długości n generuje
słowo wyjściowe o długości n
słowo wyjściowe o długości n+1
słowo wyjściowe o długości n-1
słowo wyjściowe o długości innej od wyżej podanych
W przedstawionym powyżej automacie ε-domknięciem stanu q1, jest
{q1}
{q1,q2}
{q1,q2,q3}
{q2}
Po konwersji automatu ε-NAS z zadania 7 w automat NAS zbiór stanów akceptujących będzie równy
{q2}
{q2,q3}
{q1,q2}
{q1,q2,q3}
Zbiór języków nad danym alfabetem rozpoznawalnych przez maszyny Turinga jest
skończony
nieskończony, ale przeliczalny
nieprzeliczalny
nieskończony, ale nie można określić czy jest przeliczalny
Który z podanych problemów jest nierozstrzygalny
problem stopu dla DAS
problem akceptujący dla DAS
problem stopu dla NAS
problem akceptacji dla maszyny Turinga
Język rozpoznawany przez poniższy automat NAS, to zbiór wszystkich słów nad alfabetem Σ = {a,b}
zawierających podsłowo aa
kończących się podsłowem aa
rozpoczynających się podsłowem aa
rozpoczynającym się dowolną liczbą (w tym zero) symboli b, po których następują dokładnie dwa symbole a
Które z podanych niżej zapisów nie jest prawem algebry wyrażeń regularnych (r,s,t są dowolnym wyrażeniami regularnymi)
r(s|t) = rs|rt
r∈ = r
r|∅ = r
rs = sr
Wyrażenie regularne 1(0|1)*|0 opisuje zbiór wszystkich słów nad alfabetem Σ = {0,1}
rozpoczynających się symbolem 1 i kończących symbolem 0
kończących się symbolem 1
rozpoczynających się symbolem 1
rozpoczynających się symbolem 1 oraz słowo złożone z pojedynczego symbolu 0
Dana jest następująca gramatyka G = ({S, A, B}, {a, b, c}, P, S), gdzie:
P:
S → cB
A → bB|C
B → aA
Gramatyka jest:
regularna
bezkontekstowa, ale nie jest regularna
kontekstowa, ale nie jest bezkontekstowa
jest gramatyką ogólnego rodzaju, która nie jest gramatyką kontekstową
Język rozpoznawany przez podany poniżej automat NAS to zbiór wszystkich słów nad alfabetem Σ = {a,b}
zawierających podsłowo bb
kończących się podsłowem bb
rozpoczynających się podsłowem bb
zawierających przynajmniej 2 symbole b
Wyrażenie regularne ((0|1)(0|1))*1 opisuje zbiór wszystkich słów
nieparzystej długości kończących się symbolem 1
parzystej długości kończących się symbolem 1
kończących się symbolem 1
rozpoczynających się i kończących symbolem 1
W wyrażeniu regularnym 0(0|1*)
najpierw wykonane jest domkniecie *, potem suma |, a na końcu złożenie
najpierw wykonana jest suma, potem domknięcie, a na końcu złożenie
najpierw wykonywane jest złożenie, potem suma, a na końcu domknięcie
kolejność operacji jest inna od każdej z podanych
Jeśli dwa automaty DAS rozpoznają ten sam język, to
automaty minimalne dla każdego z nich są zawsze takie same
mogą istnieć różne automaty minimalne dla każdego z tych automatów
nie dla każdego z nich musi istnieć automat minimalny
automaty te są identyczne z dokładnością do nazwy stanów
Wybierz zdanie fałszywe z niżej podanych
W gramatyce jednoznacznej każde słowo ma tylko jedno drzewo wywodu
W gramatyce jednoznacznej każde słowo ma tylko jedno wyprowadzenie
W gramatyce jednoznacznej każde słowo ma jedno wyprowadzenie prawostronne i jedno wyprowadzenie lewostronne
W gramatyce niejednoznacznej istnieje słowo, które ma dwa różne drzewa wywodu.
Wybierz zdanie prawdziwe z niżej podanych
W automatach AZS jest dokładnie jedno przejście z każdego stanu dla danego symbolu wejściowego
Wartość funkcji przejścia automatu AZS zależy tylko od stanu i symbolu wejściowego
Wartość funkcji przejścia automatu AZS zależy tylko od stanu i symbolu na szczycie stosu
W etykiecie a,b -> c, opisującej przejście automatu AZS na diagramie przejść, każdy ze znaków a, b, c może być słowem pustym
Przedstawiony powyżej wykres składniowy odpowiada następującej produkcji (produkcjom) w zapisie symbolicznym
A → A1|A21
A → A1|A2
A → A1A2|1
A → A11|A21
Spośród DAS, NAS, AZS, maszyn Turinga najszerszą klasę języków formalnych rozpoznają
deterministyczne automaty skończone DAS
niedeterministyczne automaty skończone NAS
automaty ze stosem AZS
maszyny Turinga
Język rozpoznawany przez automat przedstawiony na powyższym diagramie przejść, to zbiór wszystkich słów nad alfabetem Σ = {0,1}
rozpoczynających się i kończących symbolem 0
kończących się symbolem 0
rozpoczynających się symbolem 0 i zawierających przynajmniej 2 symbole 0
o długości co najmniej 2 rozpoczynających się i kończących symbolem 0
Konwersja, w której nie zmienia się funkcja przejścia to:
NAS z ∈-ruchami w NAS
NAS w DAS
Mealy'ego w Moore'a
Żadna z powyższych
Język rozpoznawany przez podany powyżej automat NAS to zbiór wszystkich słów nad alfabetem Σ = {a,b}
rozpoczynających się symbolem b
rozpoczynających się symbolem b, po którym może wystąpić dowolna liczba symboli a
o długości co najmniej 1
zawierających dokładnie 1 symbol b
W przedstawionym poniżej automacie ∈-domknięciem stanu q1 jest
{q1}
{q0,q1}
{q0,q1,q2}
∅
Po konwersji automatu ∈-NAS z zadania 7 w automat NAS, zbiór stanów akceptujących będzie równy
{q2}
{q0,q2}
{q1,q2}
{q0,q1,q2}
Które z podanych niżej zapisów nie jest prawem algebry wyrażeń regularnych (r, s, t są dowolnymi wyrażeniami regularnymi)
(r *)* = r *
r∈ = r
r|∅ = ∅
r(s|t) = rs|rt
Wyrażenie regularne 0(0|1*)11 opisuje zbiór wszystkich słów nad alfabetem Σ = {0,1}
kończących się podsłowem 11
rozpoczynających się symbolem 0
rozpoczynających się symbolem 0 i kończących się podsłowem 11
o długości co najmniej 4 rozpoczynających się symbolem 0 i kończących się podsłowem 11
W wyrażeniu regularnym 0(0|1)*
najpierw wykonywane jest domknięcie *, potem suma |, a na końcu złożenie
najpierw wykonywana jest suma, potem domknięcie, a na końcu złożenie
najpierw wykonywana jest suma, potem złożenie, a na końcu domknięcie
kolejność operacji jest inna od każdej z wyżej podanych
Dana jest następująca gramatyka G = ({S, A, B}, {a, b, c}, P, S), gdzie:
P:
S → aAB
A → Ab|AaB|b
B → cB|a
Gramatyka jest:
regularna
bezkontekstowa, ale nie jest regularna
kontekstowa, ale nie jest bezkontekstowa
jest gramatyką ogólnego rodzaju, która nie jest gramatyką kontekstową
Wybierz zdanie prawdziwe z niżej podanych
W gramatyce jednoznacznej każde słowo ma tylko jedno wprowadzenie
Dla każdej gramatyki niejednoznacznej istnieje równoważna jej gramatyka jednoznaczna
W gramatyce niejednoznacznej każde słowo ma jedno wyprowadzenie prawostronne i jedno wyprowadzenie lewostronne
W gramatyce jednoznacznej każe słowo ma tylko jedno drzewo wywodu
Wybierz zdanie prawdziwe z niżej podanych
W deterministycznych automatach ze stosem DAZS jest dokładnie jedno przejście z każdego stanu dla danego symbolu wejściowego i symbolu na szczycie stosu
Wartość funkcji przejścia automatu DAZS zależy tylko od stanu i symbolu wejściowego
Wartość funkcji przejścia automatu DAZS zależy tylko od stanu i symbolu na szczycie stosu
Wartość funkcji przejścia automatu DAZS zależy tylko od symbolu wejściowego i symbolu na szczycie stosu
Przedstawiony powyżej wykres składniowy odpowiada następującej produkcji (produkcjom) w zapisie symbolicznym
A → X|Y
A → 0Y|X
A → 0X|Y
A → 0XY
Jeśli język jest rozpoznawany przez pewien automat ze stosem, to jest on
regularny
rekurencyjnie przeliczany, ale nie musi być kontekstowy
bezkontekstowy, ale nie musi być regularny
kontekstowy, ale nie musi być bezkontekstowy
Nieograniczoną taśmę posiada
maszyna Turinga
maszyna Turinga i automat ze stosem
deterministyczny automat ze stosem
niedeterministyczny automat skończony
