%
% Simple fst that rewrites string of as to a string
% of twice as many as

:- op(250,xfx,:).

initial(1).
final(1).
arc(1,2,a:a).
arc(2,1,'#':a).



