Reactive automata

Dov M. Gabbay

doi:10.1007/978-3-642-41389-6_8

Reactive automata

Dov M. Gabbay

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

In this chapter the author offers a reactive point of view for automata and shows that using reactive arrows can reduce the number of states of an automaton. Within the framework of reactive automata he provides some examples where such a reduction is striking.

Original language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	237-256
Number of pages	20
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_8
State	Published - 2013

Publication series

Name	Cognitive Technologies
Number	9783642413889
ISSN (Print)	1611-2482

Bibliographical note

Publisher Copyright:
© 2013, Springer-Verlag Berlin Heidelberg.

Access to Document

10.1007/978-3-642-41389-6_8

Cite this

@inbook{102c3d02b7e8490c9ceb17d6122da0c7,

title = "Reactive automata",

abstract = "In this chapter the author offers a reactive point of view for automata and shows that using reactive arrows can reduce the number of states of an automaton. Within the framework of reactive automata he provides some examples where such a reduction is striking.",

author = "Gabbay, {Dov M.}",

note = "Publisher Copyright: {\textcopyright} 2013, Springer-Verlag Berlin Heidelberg.",

year = "2013",

doi = "10.1007/978-3-642-41389-6_8",

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "237--256",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Reactive automata

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

N2 - In this chapter the author offers a reactive point of view for automata and shows that using reactive arrows can reduce the number of states of an automaton. Within the framework of reactive automata he provides some examples where such a reduction is striking.

AB - In this chapter the author offers a reactive point of view for automata and shows that using reactive arrows can reduce the number of states of an automaton. Within the framework of reactive automata he provides some examples where such a reduction is striking.

UR - http://www.scopus.com/inward/record.url?scp=85028768851&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-41389-6_8

DO - 10.1007/978-3-642-41389-6_8

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85028768851

T3 - Cognitive Technologies

SP - 237

EP - 256

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Reactive automata

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this