Result Details

Regulated Automata: From Theory towards Applications

KOLÁŘ, D.; MEDUNA, A. Regulated Automata: From Theory towards Applications. Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava: Marq software s.r.o., 2005. p. 33-48. ISBN: 80-86840-09-3.

Type

conference paper

Language

English

Authors

Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)

Abstract

Fundamentals of regulated pushdown automata (they regulate the use oftheir rules by control languages), recently introduced by the authors,are presented. In addition, some compiler-oriented applications ofthese automata are suggested.

Keywords

pushdown automata, regulated accepting, control languages, applications, parsing

Published

2005

Pages

33–48

Proceedings

Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05

Series

1st edition

Conference

8th International Conference on Information Systems Implementation and Modelling

ISBN

80-86840-09-3

Publisher

Marq software s.r.o.

Place

Ostrava

BibTeX

@inproceedings{BUT21495,
  author="Dušan {Kolář} and Alexandr {Meduna}",
  title="Regulated Automata: From Theory towards Applications",
  booktitle="Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05",
  year="2005",
  series="1st edition",
  pages="33--48",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-09-3"
}

Projects

Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed

Research groups

Formal Model Research Group (RG FM)

Departments

Department of Information Systems (DIFS)