% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            longlist.dtr                                             %
% Purpose:         theory of size n(n+1) defines a sequence of length n^n   %
% Author:          Gerald Gazdar, 26 October 1989                           %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Address:         COGS, Sussex University, Brighton BN1 9QH, UK            %
% Version:         1.01                                                     %
%      Copyright (c) University of Sussex 1989.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %


List: <a> == <b> <b> <b> <b> <b>
      <b> == <c> <c> <c> <c> <c>
      <c> == <d> <d> <d> <d> <d>
      <d> == <e> <e> <e> <e> <e>
      <e> ==  f   f   f   f   f .

% If we ignore the node and count atomic values and unit paths identically,
% then the size of this theory is 30 [= 5*5+1].  The value of <a> is 3125
% elements long [= 5^5].

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

% Note: the evaluation of List:<a> leads to stack overflow in at least one
% DATR implementation (QDATR v1.4.2).  Hence the inclusion of the node Tiny
% and the 'hide' declaration for List given below.

Tiny: <a> == <b> <b> <b>
      <b> == <c> <c> <c>
      <c> ==  d   d   d .

# hide List.

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