Nelma Moreira's Annual Report

Nelma Moreira's Annual Report



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 : 

Nelma Moreira

Organization of scientific meetings: 


Member of the Program Committee

Name of the event: 

20th International Conference Implementation and Application of Automata

start and end date: 

June 27, 2017 to June 30, 2017

Host institution: 

Université the Marne-la-valleé



Location / City: 


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)