SPECIAL SESSION

Regulated Formal Models

Professor Alexander Meduna
Department of Information Systems
Faculty of Information Technology
Brno University of Technology
Czech Republic
E-mail: meduna@fit.vutbr.cz

Aim: The fundamental aim of this session is to explain the gist underlying regulated formal models, which represent an important trend in modern informatics. The session will cover the following:
- explanation of basic concepts underlying regulated formal models, such as regulated grammars and automata
- presentation of the key results concerning the power, properties, reduction, and mutual convertibility
- presentation of several case studies
- demonstration of applications and their perspectives
- formulation of open problem areas

Topics:
- regulated formal models
- regulated grammars
- regulated automata
- computational power
- properties
- reduction
- mutual convertibility
- case studies
- applications
- open problem areas