automata based programming l.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Automata Based Programming PowerPoint Presentation
Download Presentation
Automata Based Programming

Loading in 2 Seconds...

play fullscreen
1 / 14

Automata Based Programming - PowerPoint PPT Presentation


  • 167 Views
  • Uploaded on

Automata Based Programming. Margarita Spit šakova Institute of Cybernetics at Tallinn University of Technology 19 . 03 . 08. Outline. Introduction Definition of FSM Usage of FSM FSM as programs Example Future work Conclusions Software, further reading. Introduction.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Automata Based Programming' - Thomas


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
automata based programming

Automata Based Programming

Margarita Spitšakova

Institute of Cybernetics at Tallinn University of Technology

19.03.08

outline
Outline
  • Introduction
  • Definition of FSM
  • Usage of FSM
  • FSM as programs
  • Example
  • Future work
  • Conclusions
  • Software, further reading
introduction
Introduction
  • Master thesis: “Genetic Inference of Finite State Machines”
  • Finite state machine is something abstract
  • Why I need to generate FSMs?
finite state machines
Finite State Machines
  • States, transitions, input and output alphabets, final state, initial state.
  • Moore machine (output at state)
  • Mealy machine (output at transition)
  • Deterministic machine
using fsm
Using FSM
  • FSM as hardware model
  • Text recognition (regular expressions)
  • Text transformations
  • Pushdown automata in parsers
fsm as program
FSM as program

Event

Controlled object

Controller

=

Finite

State

Machines

Controlled object

Event

Controlled object

Event

example traffic lights
Example. Traffic Lights

Red

Yellow

Red

+

yellow

Blinking

green

Green

source code controlled object
Source code. Controlled object

publicclass TrafficLight implements ControlledObject {

publicvoid red(StateMachineContext context) {

System.out.println("Red");

}

publicvoid green(StateMachineContext context) {

System.out.println("Green");

}

publicvoid yellow(StateMachineContext context) {

System.out.println("Yellow");

}

publicvoid greenblink(StateMachineContext context) {

System.out.println("Green Blinking");

}

publicvoid redyellow(StateMachineContext context) {

System.out.println("red yellow");

}

}

source code controller
Source code. Controller

switch (s) {

casegreen:

switch (event) {

casenext tick:

if (counter_x4 < 20) {

make transition to state “blinking green”;

returnnew StateMachineConfig("blinking green");

}

if (counter_x4 >= 20) {

make transition to final state;

returnnew StateMachineConfig(" final state ");

}

}

Switch technology

conclusions
Conclusions
  • Modeling system
  • Modeling=writing the code
  • Step-by-step
  • Easier to verify
  • Good for modeling reactive systems
future work
Future work

Event

Controlled object

Controller

=

Finite

State

Machine

Controlled object

Event

Controlled object

Event

Can be generated

software further reading
Software. Further reading
  • Unimod. Eclipse plugin for designing object-oriented event-driven applications using automata-based programming adapted for UML. http://unimod.sourceforge.net
  • AutoFSM. http://autogen.sourceforge.net
  • Сайт по автоматному программированию http://is.ifmo.ru/