Государство в конечный автомат, который эквивалентен составного государства, но его содержимое описаны в другой конечный автомат.