Aufgabe $/$ Task $4$: Automaten $/$ Automata

Gegeben ist das $$bergangsdiagramm $($Fig$.4\mathrm{.}1)$ sowie die $$bergangstabelle $($Tab $4\mathrm{.}1)$ eines Automaten. F$$llen Sie passend zur Abbildung die L$$cken in der Tabelle sowie die zwei blau umrandeten L$$cken im $$bergangsdiagramm aus. Beantworten Sie anschlie$$end die untenstehenden Fragen. Hinweis: Achten Sie auf die Unterscheidung von $","$ und $"/".$

Given is the transition diagram and the transition table of an automaton. Fill in the gaps in the table and the two blue bordered gaps in the transition diagram to match diagram and table. Then, answer the questions below. Note: Pay attention to the distinction between $","$ and $"/".$

Tab. $4\mathrm{.}1$: $$bergangstabelle $/$ Transition Table

$\backslash$table$[[,$S$1,$S$2,$S$3,$S$4],[$a$,$S$4,1,$S$1,1,???,$S$1,2],[$b$,$S$1,1,$S$3,2,???,$S$3,1],[$c$,$S$2,1,$S$4,2,$S$4,2,$S$2,1]]$

rig. $4\mathrm{.}1$: uvergangsalagramm $/$

Transition Diagram

Kreuzen Sie alle Ein$/$Ausgang$-$Paare an$,$ welche an der rot gestrichelten Transition T zul$$ssig sind$,$ sodass der Automat deterministisch ist.

Tick all inputs$/$outputs$-$pairs which are allowed at the red dashed transition $T,$ so that the automaton is deterministic.

$()\frac{a}{2},(X)\frac{b}{1}(X)\frac{b}{2}()\frac{c}{1}$

Der in Fig. $4\mathrm{.}1.$ abgebildete Automat ist ein The automaton shown in Fig. $4\mathrm{.}1.$ is a

Mealy$-$

Automat.

automaton.