Понимание начальных псевдосостояний в теории автоматов