Nelma Moreira's Annual Report
Year:
Brief description of the research activities:
- With S. Broda, A. Machiavelo and R. Reis studied and developed new conversion methods from regular expressions with intersection to equivalent non-deterministic finite automata without epsilon-transitions and based on the notion of positions.
- With M. Ramos and J.C. B. Almeida development of a mechanical formalization of the pumpinng lemma for context-free grammars within the interactive theorem prover Coq
- With S. Konstantinidis and R. Reis development of a randomized error control code generator using automata and transducers.- with C. Campeaneau and R. Reis continue the study of the distinguability operation and dissimilarity on finite languages
- With M. Ferreira and R. Reis development of a graphical interface for automata manipulation; work in collaboration with the Vaucanson-R team (J. Sakarovitch and S. Lombardy)
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:
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:
Computational applications:
FAdo - tools for formal languages manipulation V.1.2
GUItar - graphical interface for automata
CFGCoq - Formalization of Context-free language Theory in Coq
Work visits:
University of Bucharest, Buchares, Romania: visiting Cezar Câmpeanu (9-11/07)
Visitors:
Markus Holzer, University of Giessen, Gissen, Germany. (16-19/02)
Stavros Konstantinidis, Saint-Mary's University, Halifax, NS, Canada. (16-10/05)