Abstract
We present the use of the semantics-based language generator SLANG to implement a machine controller language EFSM which is based on the principle of extended finite state machines. SLANG allows to rapidly prototype EFSM by a formal definition of the language's abstract syntax, concrete syntax, type system, and denotational semantics; from this, SLANG generates a parser, a printer, a type checker, and an interpreter for EFSM. Subsequently we implement in EFSM a controller for an (idealized) robot vacuum cleaner and validate its operation by simulation and visualization. Our presentation may thus also serve as a template for the semantics-based rapid prototyping of other domain-specific languages.
| Original language | English |
|---|---|
| Title of host publication | 2024 IEEE 17th International Scientific Conference on Informatics, Poprad, Slovakia, November 13-15 |
| Editors | Valerie Novitzká, Anikó Szakál |
| Publisher | IEEE |
| Pages | 348--353 |
| Number of pages | 6 |
| ISBN (Print) | 979-8-3503-8767-4 |
| Publication status | Published - 2024 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics
JKU Focus areas
- Digital Transformation
