BIBA(1)                     Biba Tools                    BIBA(1)

NAME
       biba - perform operations on automata

SYNOPSIS
       biba -i [file]
       biba -s size file1 file2
       biba -j [file]
       biba -w [file]

DESCRIPTION
       biba  is  used  to  perform  a  variety of operations over
       automata built using biba(3) library.

       -i [file]
              Show automaton informations. The automaton will  be
              that  that  resides  in  the  files whose names are
              obtained from the specified filename  or  a.aut  by
              default appending the suffixes .st and .ed.

       -s size file1 file2
              Split  an  automaton  part  (containing  states  or
              edges) in two files.  The first one will  have  the
              same current file1 name, and around size megabytes.
              The second will be named file2 and will contain the
              ramaining pages of the original part.

       -j file
              Join  the  part  file  with its next part, and save
              both as file.

       -w file
              Enters walking mode. Typically used by perl scripts
              in order to access an automaton internals.

WALKING MODE
       In  this  mode, biba accepts commands through which it can
       make a traverse in the automaton and extract a variety  of
       informations  from  it.  Currently  it  cannot  modify the
       automaton. The accepted commands are:

       s<word>
              Try to spells the given word from the current state
              and  returns  0 if this cannot be done, 1 if it can
              be done and the destination state is  final,  or  2
              otherwise.  The  current state becomes the destina-
              tion state after spell the  lagest  prefix  of  the
              given word that can be spelled. Note that if <word>
              contains a newline character,  it  must  be  quoted
              with '\' The character '\' by itself must be quoted
              with '\' too. If  <word>  is  empty,  this  command
              tests if the current state is or not final.

Biba Tools                March 6, 1998                         1

       r      Go to the initial state.

       l      Show  the  labels of the edges that go off from the
              current state. If some of these labels  is  newline
              or '\', it will be quoted with '\'.

       e      Exit from walking mode.

SEE ALSO
       biba(3), reduce(1), suffaut(1)

AUTHOR
       Ricardo Ueda Karpischek (ueda@ime.usp.br)

Biba Tools                March 6, 1998                         2