Loughborough University
Browse

Operational state complexity of block languages

Download (213.19 kB)
conference contribution
posted on 2024-11-13, 10:17 authored by Guilherme Duarte, Nelma Moreira, Luca PrigionieroLuca Prigioniero, Rogério Reis
In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the upper bounds of operational state complexity known for finite languages apply for block languages as well. However, in several cases, smaller values were found. Block languages can be represented as bitmaps, which are a good tool to study their minimal finite automata and their operations, as we illustrate here.

Funding

Centre of Mathematics of the University of Porto

Fundação para a Ciência e Tecnologia

Find out more...

Centre of Mathematics of the University of Porto

Fundação para a Ciência e Tecnologia

Find out more...

History

School

  • Science

Department

  • Computer Science

Published in

Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), Göttingen, Germany, 12-13 August 2024, Electronic Proceedings in Theoretical Computer Science

Volume

407

Pages

59 - 76

Publisher

arXiv and Electronic Proceedings in Theoretical Computer Science, on behalf of the Theoretical Computer Science Research Group, University of Göttingen

Version

  • VoR (Version of Record)

Rights holder

© G. Duarte, N. Moreira, L. Prigioniero & R. Reis

Publisher statement

This work is licensed under the Creative Commons Attribution License (CC BY).

Publication date

2024-09-11

Copyright date

2024

ISSN

2075-2180

eISSN

2075-2180

Book series

Electronic Proceedings in Theoretical Computer Science

Language

  • en

Editor(s)

Florin Manea; Giovanni Pighizzini

Depositor

Dr Luca Prigioniero. Deposit date: 11 November 2024

Usage metrics

    Loughborough Publications

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC