Automata for Separation of Syntactically Correct from Syntactically
Incorrect Structures
Grant of the Grant Agency of the Czech republic Grant no.
201/96/0195
Heads:
- Martin Platek
- Department of Theoretical computer science Faculty of Mathematics
and Physics Charles University
- Petr Jancar
- Department of computer science Technical University of Ostrava
Team members:
- The goal of this project is the design and the analysis of
formal and software tools for usage in:
- a) the development and classification of systems recognizing
the syntactic incorrectness in input texts,
b) comparative study of methods for recognizing and syntactic
analysis of programming languages and its complexity,
c) formulation of methods for error recovery during robust syntactic
analysis of programming languages and natural languages as well,
d) modeling of mechanisms for image recognition (2-dimensional
lists),
e) development of extendable analyzers an extendable software
systems.
Results should be used in computer linguistics, full-text databases
and techniques of realization of large software projects.
Selected publications
-
Petr Jancar, Frantisek Mraz, Martin Platek, Joerg Vogel:
On Restarting Automata with Rewriting,
in J. Dassow, G. Paun, A. Salomaa (Eds.): New trends in Formal
Languages, Lecture Notes in Computer Science, Vol
1218, Springer-Verlag, 1997, pp. 119-136
- M. Beran, P. Buzek, H. Palatin, M. Rydvan, J. Stoklasa:
Paralel Image Processing,
a poster at SOFSEM'96
- Martin Beran:
Parallel Computing of Sequence of Convolutions,
a poster at SOFSEM'96
- Petr Jancar, Javier
Esparza: Deciding Finiteness of Petri nets
up to bisimulation, in Proc. ICALP'96, Paderborn, Germany,
July 1996, Lecture
Notes in Computer Science, Vol. 1099, Springer 1996, pp.478-489
- Petr Jancar, Frantisek Mraz, Martin Platek, Martin Prochazka, Joerg Vogel:
Deleting Automata with a Restart Operation,
accepted to DLT'97
- Frantisek Mraz, Martin Platek, Martin Prochazka:
Deleting Automata with a Restart Operation and
Marcus Grammars,
accepted to DLT'97
- Frantisek Mraz, Martin Platek, Petr Jancar, Joerg Vogel:
Monotonic Rewriting Automata with a Restart
operation, in: SOFSEM'97: Theory and Practice of Informatics, Lecture Notes on Computer Science, Vol.1338, Springer 1997, pp. 505-512
- Martin Beran:
Communication Model of PVM, TR 97/15,
Department of Computer Science, Charles University, Prague, 1997
[Frantisek Mraz's Home Page],
[KSVI Web Server],
[School of Informatics]