% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            dfsa3.dtr                                                %
% Purpose:         deterministic finite-state automaton                     %
%                  uses DATR variables for default edges and inheritance    %
%                  for default states                                       %
% Author:          James Kilbury, 6 May 1992                                %
% Email:           kilbury@ling.uni-duesseldorf.de                          %
% Address:         U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany %
% Related files:   dfsa1.dtr, dfsa2.dtr, dfst2.dtr, dfst3.dtr               %
% Version:         1.02                                                     %
%                                                                           %
%      Copyright (c) University of Duesseldorf, 1994.  All rights reserved. %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% This automaton recognizes strings containing the substring /skr/.
% '*' is a catch-all variable for any (other) symbol in the alphabet.
%
% M = <Q, V, Delta, S, F>
% where Q = {Q0, Q1, Q2, Q3}                        (states)
%       V = {s, k, r, ...}                          (alphabet)
%       S = Q0                                      (initial state)
%       F = {Q3}                                    (final states)
%       Delta = {<Q0, s, Q1>, <Q0, *, Q0>,
%                <Q1, k, Q2>, <Q1, *, Q0>,            (transition
%                <Q2, r, Q3>, <Q2, *, Q0>,                function)
%                <Q3, *, Q3>              }

# vars $X: a b c d e f g h i j k l m n o p q r t u v w x y z.  % excludes 's'

Q0:     <>   == Reject
        <s>  == Q1:<>
        <$X> == <>.


Q1:     <>   == Q0
        <k>  == Q2:<>.

Q2:     <>   == Q0
        <r>  == Q3:<>.

Q3:     <>   == accept
        <s> == <>
        <$X> == <>.

Reject: <>   == reject.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Some theorems:
%
%       Q0:<s k r o> = accept.
%       Q0:<e s k r> = accept.
%       Q0:<p a s k r i> = accept.
%       Q0:<s k r i s k r a> = accept.
%       Q0:<a l p u> = reject.
%       Q0:<s k a r> = reject.
%       Q0:<a s i k r o> = reject.
%       Q0:<i s a k o r a> = reject.

# hide Q1 Q2 Q3 Reject.

# show <s k r o> <e s k r> <p a s k r i> <s k r i s k r a>
       <a l p u> <s k a r> <a s i k r o> <i s a k o r a>.
   
% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $