@ -3,10 +3,10 @@
\usepackage [ngerman] { babel}
\usepackage [ngerman] { babel}
\usepackage { amsmath}
\usepackage { amsmath}
\usepackage { amssymb}
\usepackage { amssymb}
\usepackage { multicol}
% usepackage{ multicol}
\usepackage { booktabs}
% usepackage{ booktabs}
\usepackage { pstricks}
% \usepackage { pstricks}
\usepackage { pst-node}
% \usepackage { pst-node}
\usepackage [paper=a4paper,left=30mm,right=20mm,top=20mm,bottom =25mm] { geometry}
\usepackage [paper=a4paper,left=30mm,right=20mm,top=20mm,bottom =25mm] { geometry}
\usepackage [
\usepackage [
pdftitle={ Berechenbarkeits.- Komplex.Th.} ,
pdftitle={ Berechenbarkeits.- Komplex.Th.} ,
@ -17,7 +17,7 @@
]{ hyperref}
]{ hyperref}
\usepackage { tabularx}
\usepackage { tabularx}
% \usepackage { graphicx}
% \usepackage { graphicx}
\usepackage { color}
\usepackage [usenames,dvipsnames] { color}
\usepackage { lastpage}
\usepackage { lastpage}
\usepackage { fancyhdr}
\usepackage { fancyhdr}
\setlength { \parindent } { 0ex}
\setlength { \parindent } { 0ex}
@ -60,16 +60,16 @@
Eingabe und Arbeitsband
Eingabe und Arbeitsband
\begin { tabular} { c|c|c|c|c|c|c}
\begin { tabular} { c|c|c|c|c|c|c}
\hline
\hline
& \color { o range} { \( x _ 1 \) } & \( x _ 2 \) & \( x _ 3 \) & … & \( x _ n \) & \\
& \color { O range} { \( x _ 1 \) } & \( x _ 2 \) & \( x _ 3 \) & … & \( x _ n \) & \\
\hline
\hline
\end { tabular}
\end { tabular}
{ \color { o range} Lese- Schreibkopf}
{ \color { O range} Lese- Schreibkopf}
Abhängig vom Zustand und vom gelesenen Zeichen auf dem Band kann die Maschine:
Abhängig vom Zustand und vom gelesenen Zeichen auf dem Band kann die Maschine:
\begin { itemize}
\begin { itemize}
\item den Zustand wechseln
\item den Zustand wechseln
\item das gelesene Zeichen überschreiben
\item das gelesene Zeichen überschreiben
\item den Lese-Schreib-Kopf um \( \l t 1 \) Feld auf dem Band nach links oder rechts bewegen.
\item den Lese-Schreib-Kopf um \( \l e 1 \) Feld auf dem Band nach links oder rechts bewegen.
\end { itemize}
\end { itemize}
Formal:\\
Formal:\\
@ -83,7 +83,7 @@
\item \( Z _ 0 \) – Anfangszustand
\item \( Z _ 0 \) – Anfangszustand
\item \( Z _ a \) – akzeptierender Zustand
\item \( Z _ a \) – akzeptierender Zustand
\item \( Z _ V \) – verwerfender Zustand
\item \( Z _ V \) – verwerfender Zustand
\item \( \Box \) – Blank \( \in \ Rho \) – \( \Sigma \)
\item \( \Box \) – Blank \( \in \ Gamma \) – \( \Sigma \)
\end { itemize}
\end { itemize}
Die Übergangsfunktion S,\\
Die Übergangsfunktion S,\\