% $Id: espresso-mv.tex,v 1.1 2007/01/18 22:20:29 jarda Exp $

\section{Konečný automat ve formátu ESPRESSO-MV}

V sadě LGSYNTH91 se objevuje popis konečného automatu ve formátu ESPRESSO-MV.

\subsection{Syntaxe souboru}

Soubor je tvořen hlavičkou, po které následuje tabulka konečného automatu
ve formátu KISS. Soubor je zakončen direktivou \textit{.end}.

\subsection{Jednoduchý příklad}

Následující příklad je převzatý z benchmarku bbtas.esp:

\begin{verbatim}
.type fr
.mv 5 2 -6 -6 2
.kiss
.p 24
00 st0 st0 00
01 st0 st1 00
10 st0 st1 00
11 st0 st1 00
00 st1 st0 00
01 st1 st2 00
10 st1 st2 00
11 st1 st2 00
00 st2 st1 00
01 st2 st3 00
10 st2 st3 00
11 st2 st3 00
00 st3 st4 00
01 st3 st3 01
10 st3 st3 10
11 st3 st3 11
00 st4 st5 00
01 st4 st4 00
10 st4 st4 00
11 st4 st4 00
00 st5 st0 00
01 st5 st5 00
10 st5 st5 00
11 st5 st5 00
.end
\end{verbatim}

% vim:enc=iso8859-2:fenc=iso8859-2:syntax=tex:
