അവസാനം ഇതിനെ ഔപചാരികമായ ഗണിതശാസ്ത്രപരമായ ഘടനയിൽ പരിവർത്തനം ചെയ്യണം, ഉദാഹരണത്തിന് ഫൈനൈറ്റ് സ്റ്റേറ്റ് മെഷീൻ.
కానీ చివరకు దానిని ఒక అధికారిక గణిత ప్రక్రియ గా మార్చగలగాలి అని సూచించబడింది, మనం ఇక్కడ పైనిట్ స్టేట్ మెషిన్ ఉపయోగిస్తున్నాము, తరువాత, ఈ కార్యకలాపాలు మాన్యువల్ గా పూర్తి చేయాలి.