% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            anbncn.dtr                                               %
% Purpose:         sequence values permit non-CF theorem sets               %
% Author:          Gerald Gazdar, 24 March 1989                             %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Related files:   xx1.dtr, xx2.dtr                                         %
% Version:         2.0                                                      %
%                                                                           %
%      Copyright (c) University of Sussex 1989.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% First axiom amended in the light of the theory induced by Petra Barg's
% automatic acquisition program ("Automatic acquisition of DATR theories
% from observations", Theorie des Lexicons: Arbeiten des Sonderforschungs-
% bereichs 282, August 1994).

S:      <> == b c
        <a a> == b <a> c.

%
% S:    <a> = b c.
% S:    <a a> = b b c c.
% S:    <a a a> = b b b c c c.
% S:    <a a a a> = b b b b c c c c.
% S:    <a a a a a> = b b b b b c c c c c.
% S:    <a a a a a a> = b b b b b b c c c c c c.
% S:    ...
%
% Take the intersection of the theorem set with this regular language:
%
% S:    <a+> = b+ c+
%
% and put the result through a homomorphism that maps the symbols
% S, :, ., <, >, and =, to the empty string, and what you get is:
%
%       a^n b^n c^n, for n > 0.

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

# show  <a>
        <a a>
        <a a a>
        <a a a a>
        <a a a a a>
        <a a a a a 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 $