for E being non empty set
for F being Subset of (E ^omega)
for A being non empty automaton over F holds Lang A = left-Lang the FinalS of A