More precisely, from a regular expression E, the obtained automaton A with the transition function δ respects the following properties: A has exactly one initial state q0, which is not accessible from any other state.
Mai precis, de la o expresie regulată E, automatul obținut A cu ajutorul funcției de tranziție δ respectă următoarele proprietăți: A are exact o stare inițială q0, care nu este accesibilă din nicio altă stare.