The state complexity of Σ*L and its connection with temporal logic

Research output: Contribution to journalArticle

9 Scopus citations
Original languageEnglish (US)
Pages (from-to)185-188
Number of pages4
JournalInformation Processing Letters
Volume58
Issue number4
DOIs
StatePublished - May 27 1996
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Keywords

  • Finite automata
  • Formal languages
  • State complexity
  • Temporal logic

Cite this