Nelma Moreira's Annual Report
Year:
Brief description of the research activities:
- With G.Pighizzini and R.Reis studied the complexity of two language operations that can be expressed by suitable combining complement with
concatenation and star.
- With E. Maia and R. Reis studied and developed new conversion methods from regular expressions to equivalent non-deterministic finite automata
- With S. Broda, A. Machiavelo and R. Reis extended the partial derivative automaton to the shuffle operation and study the avarage state complexity within the framework of analytic combinatorics
- With M. Ramos and J.C. B. Almeida development of a mechanical formalization of basic concepts of context-free grammars and languages within the interactive theorem prover Coq
- With R. Bastos, S. Broda, A. Machiavelo and R. Reis extended derivative based methods to intersection and complement
- With S. Konstantinidis and R. Reis extended FAdo capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties).
Talks / Seminars / Courses :
Communications in international conferences
Organization of scientific meetings:
Role:
Name of the event:
start and end date:
Host institution:
Country:
Location / City:
Website:
Role:
Name of the event:
start and end date:
Host institution:
Country:
Location / City:
Website:
Organization of regular seminars:
CMUP General Seminars:
- Analysis of proof search through typed lambda-calculi, Luis Pinto, Universidade do Minho 29/05/2015
- New bounds on Klarner's constant, Gill Barequet 20/11/2015
Computational applications:
Work visits:
- University of Charles, Prague, Czech Republic: visiting Frantis\v ek Mraz (29/01-1/02).
- Labri, Bordeaux, France: visiting Synvain Lombardy and Jacques Sakarovitch (16-19/02). Project Vaucanson-r