home *** CD-ROM | disk | FTP | other *** search
- void main(int, char **);
- void error(char *, ...);
- void heading(void);
- int yyparse(void);
- void dfabuild(void);
- void dfamin(void);
- void dfaprint(void);
- void dfawrite(void);
- void ending(void);
- void setline(void);
- void pset(struct set *, int);
- int chprint(int);
- struct nfa *newnfa(int, struct nfa *, struct nfa *);
- struct dfa *newdfa(void);
- char *newccl(char *);
- struct trans *newtrans(struct nfa *, struct nfa *);
- struct set *newset(struct nfa **, int, int);
- char *lalloc(int, int, char *);
- void nfaprint(struct nfa *, struct nfa *);
- void llactr(void);
- void newcase(int);
- struct move *stbase(struct xset *);
- void setbase(struct dfa *, struct move *, struct xset *);
- struct set *eclosure(struct set *t);
- struct dfa *defalt(struct dfa *, struct xset **);
-
-