Metadata
Author: ParaCrawl Corpus
Data
English[en]
Reachable states (or over-approximations of this set of states) are represented by regular languages or,equivalently, by finite-state automata.
French[fr]
Les états accessibles (ou des sur-approximations de cet ensemble d’états)sont représentés par des langages réguliers, ou automates d’états finis.