fmocdmac-aut.dtx

%    \begin{macrocode}
%%****************************************************************************%%
%%** Macros for Automata *****************************************************%%
%%****************************************************************************%%
\ifaut@
%    \end{macrocode}

%    \begin{macrocode}
%%** Finite Word Automata ****************************************************%%
%    \end{macrocode}

% \begin{macro}{\DFA, ...}
%   ...
%    \begin{macrocode}
\cmdtxtoparname{DFA}\cmdtxtoparname{NFA}\cmdtxtoparname{UFA}\cmdtxtoparname{AFA}

\cmdtxtoparname{DWA}\cmdtxtoparname{NWA}\cmdtxtoparname{UWA}\cmdtxtoparname{AWA}

\cmdtxtoparname{DFW}\cmdtxtoparname{NFW}\cmdtxtoparname{UFW}\cmdtxtoparname{AFW}
\cmdtxtoparname{DWW}\cmdtxtoparname{NWW}\cmdtxtoparname{UWW}\cmdtxtoparname{AWW}
\cmdtxtoparname{DBW}\cmdtxtoparname{NBW}\cmdtxtoparname{UBW}\cmdtxtoparname{ABW}
\cmdtxtoparname{DCW}\cmdtxtoparname{NCW}\cmdtxtoparname{UCW}\cmdtxtoparname{ACW}
\cmdtxtoparname{DPW}\cmdtxtoparname{NPW}\cmdtxtoparname{UPW}\cmdtxtoparname{APW}
\cmdtxtoparname{DRW}\cmdtxtoparname{NRW}\cmdtxtoparname{URW}\cmdtxtoparname{ARW}
\cmdtxtoparname{DSW}\cmdtxtoparname{NSW}\cmdtxtoparname{USW}\cmdtxtoparname{ASW}
\cmdtxtoparname{DMW}\cmdtxtoparname{NMW}\cmdtxtoparname{UMW}\cmdtxtoparname{AMW}
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\GFG, ...}
%   ...
%    \begin{macrocode}
\cmdtxtoparname{GFG}

\cmdtxtoparname{PD}
\cmdtxtoparname{PN}

\cmdtxtoparname{LD}
\cmdtxtoparname{LN}
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
%%** Syntax ******************************************************************%%
%    \end{macrocode}

% \begin{macro}{\AutName, ...}
%   ...
%    \begin{macrocode}
\newcommand{\autname}{A}
\usrmthlatupp{Aut}{Name}{name}[\autname]
\newcommand{\autset}{Aut}
\cmdmthset{Aut}[\autset]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\WAutSet}
%   ...
%    \begin{macrocode}
\newcommand{\wautset}{WAut}
\cmdmthset{WAut}[\wautset]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\SymSet, ...}
%   ...
%    \begin{macrocode}
\newcommand{\symsym}{\sigma}
\newcommand{\symset}{\Sigma}
\cmdmthsetext{Sym}[\symset][\symsym]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\SttSet, ...}
%   ...
%    \begin{macrocode}
\providecommand{\sttsym}{q}
\providecommand{\sttset}{Q}
\cmdmthsetext{Stt}[\sttset][\sttsym]
\cmdmthset{IStt}[\sttset_{I}]
\cmdmthsymelm{istt}[\sttsym_{I}]
\cmdmthset{FStt}[\sttset_{F}]
\cmdmthsymelm{fstt}[\sttsym_{F}]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\trnFun, \trnRel}
%   ...
%    \begin{macrocode}
\providecommand{\trnsym}{\delta}
\cmdmthfun{trn}[\trnsym]
\cmdmthrel{trn}[\trnsym]
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
%%** Semantics ***************************************************************%%
%    \end{macrocode}

% \begin{macro}{\WrdSet, ...}
%   ...
%    \begin{macrocode}
\newcommand{\wrdsym}{w}
\newcommand{\wrdset}{Wr}
\cmdmthsetext{Wrd}[\wrdset][\wrdsym]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\Lang}
%   ...
%    \begin{macrocode}
\usrmth{Lang}{}{argfun}[L]
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
%%** Finite Tree Automata ****************************************************%%
%    \end{macrocode}

% \begin{macro}{\DTA, ...}
%   ...
%    \begin{macrocode}
\cmdtxtoparname{DTA}\cmdtxtoparname{NTA}\cmdtxtoparname{UTA}\cmdtxtoparname{ATA}

\cmdtxtoparname{DFT}\cmdtxtoparname{NFT}\cmdtxtoparname{UFT}\cmdtxtoparname{AFT}
\cmdtxtoparname{DWT}\cmdtxtoparname{NWT}\cmdtxtoparname{UWT}\cmdtxtoparname{AWT}
\cmdtxtoparname{DBT}\cmdtxtoparname{NBT}\cmdtxtoparname{UBT}\cmdtxtoparname{ABT}
\cmdtxtoparname{DCT}\cmdtxtoparname{NCT}\cmdtxtoparname{UCT}\cmdtxtoparname{ACT}
\cmdtxtoparname{DPT}\cmdtxtoparname{NPT}\cmdtxtoparname{UPT}\cmdtxtoparname{APT}
\cmdtxtoparname{DRT}\cmdtxtoparname{NRT}\cmdtxtoparname{URT}\cmdtxtoparname{ART}
\cmdtxtoparname{DST}\cmdtxtoparname{NST}\cmdtxtoparname{UST}\cmdtxtoparname{AST}
\cmdtxtoparname{DMT}\cmdtxtoparname{NMT}\cmdtxtoparname{UMT}\cmdtxtoparname{AMT}
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
%%** Syntax ******************************************************************%%
%    \end{macrocode}

% \begin{macro}{\TAutSet}
%   ...
%    \begin{macrocode}
\newcommand{\tautset}{TAut}
\cmdmthset{TAut}[\tautset]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\DirSet, ...}
%   ...
%    \begin{macrocode}
\newcommand{\dirsym}{d}
\newcommand{\dirset}{\Lambda}
\cmdmthsetext{Dir}[\dirset][\dirsym]
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
%%** Semantics ***************************************************************%%
%    \end{macrocode}

% \begin{macro}{\TreeSet, ...}
%   ...
%    \begin{macrocode}
\newcommand{\treesym}{T}
\newcommand{\treeset}{Tr}
\cmdmthsetext{Tree}[\treeset][\treesym]
%    \end{macrocode}
% \end{macro}

% \begin{macro}{\wot}
%   ...
%    \begin{macrocode}
\usrmth{wot}{}{argfun}
%    \end{macrocode}
% \end{macro}

%    \begin{macrocode}
\fi
%%****************************************************************************%%
%    \end{macrocode}

\endinput