The parallel complexity of deterministic and probabilistic automata

  • Authors:
  • Carlo Mereghetti;Beatrice Palano

  • Affiliations:
  • Dipartimento di Informatica, Sistemistica e Comunicazione (DISCo), Università degli Studi di Milano - Bicocca, via Bicocca degli Arcimboldi 8, Milano, Italy;Dipartimento di Informatica, Università degli Studi di Torino, corso Svizzera 185, Torino, Italy

  • Venue:
  • Journal of Automata, Languages and Combinatorics
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

A deterministic (probabilistic) automaton is said to be in TC0 whenever its transitions (stochastic event) can be computed by threshold circuits of polynomial size and constant depth. Here, we prove that: • The class of deterministic automata in TC0 is closed under homomorphism, sub-automaton, and α0-product operations. • The class of k-state deterministic (probabilistic) automata is contained in TC0 if and only if k ≤ 4 (k ≤ 2), unless TC0 = NC1. Moreover, the possibility of ranking regular languages in TC0 is related to the group-structure of their syntactic monoid.