Sensing as a complexity measure

Shaull Almagor, Denis Kuperberg, Orna Kupferman*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The size of deterministic automata required for recognizing regular and ω-regular languages is a well-studied measure for the complexity of languages. We introduce and study a new complexity measure, based on the sensing required for recognizing the language. Intuitively, the sensing cost quantifies the detail in which a random input word has to be read in order to decide its membership in the language. We study the sensing cost of regular and ω-regular languages, as well as applications of the study in practice, especially in the monitoring and synthesis of reactive systems.

Original languageAmerican English
Title of host publicationDescriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings
EditorsGiovanni Pighizzini, Cezar Campeanu
PublisherSpringer Verlag
Pages3-15
Number of pages13
ISBN (Print)9783319602516
DOIs
StatePublished - 2017
Event19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017 - Milano, Italy
Duration: 3 Jul 20175 Jul 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10316 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017
Country/TerritoryItaly
CityMilano
Period3/07/175/07/17

Bibliographical note

Funding Information:
The paper gives an overview of the technical results in the papers [, ]. The research leading to these results has received funding from the European Research Council under the European Union’s 7th Framework Programme (FP7/2007-2013, ERC grant no. 278410).

Publisher Copyright:
© IFIP International Federation for Information Processing 2017.

Fingerprint

Dive into the research topics of 'Sensing as a complexity measure'. Together they form a unique fingerprint.

Cite this