Nelma Moreira's Annual Report
Year:
Brief description of the research activities:
- With S. Broda, A. Machiavelo and R. Reis studied the average behaviour of several complecity measures of regular expressions in star normal form using analytic combinatorics
- With S. Broda, M. Holzer, E. Maia and R. Reis obtained new relations between several conversions from regular expressions to deterministic and non-deterministic finite automata using the notions of positions and derivatives.
- With M. Ferreira consider a family of nondeterministic finite automata that recognize all regular languages and for each it is possible to obtain a unique canonical form.
Talks / Seminars / Courses :
Organization of scientific meetings:
Role:
Name of the event:
start and end date:
Host institution:
Country:
Location / City:
Website:
Computational applications:
FAdo - tools for formal languages manipulation V.1.3
Work visits:
- Mathias Wendlandt (Universität of Giessen, Germany) visited Porto (2-9/01)
-Institut für Informatik, Universität of Giessen, Germany: visiting M. Holzer and M. Kutrib (20/10-3/11)