Mo (matematik)

Nan matematik oubyen nan enfòmatik teyorik, yon mo se yon swit fini $w$ eleman nou prann nan yon ansanm $A$. Ansanm $A$ se li ki rele tou alfabè, eleman y l yo se yo ki pou lèt yo. N di ke $w$ se yon mo sou $A$.

Tankou

Yon reprezantasyon atistik pou machin Turing. Machin Turing se yon modèl pou kalkil.

Enfòmatik teyorik se etid la ki poubann fondman yo ki lojik e matematik enfòmatik la. Sa se yon branch ki pou syans enfòmatik. Pi jeneralman, tèm nan se itilize pou deziyen tout domèn oubyen ti domèn rechèch santre sou debann verite yo ki inivèsèl yo (aksyòm) nann rapò avèk enfòmatik. Enfòmatik teyorik karakterize li pa yon apwòch la pa nati ki pi matematik e pa twò anpirik ki pou enfòmatik la e objektif li yo se pa yo ki toujou dirèktman relye ak debann anje teknolojik yo. Ki pou anpil disiplin kapab bagay ki regwoupe yo anba denominasyon difize pou sa k teyori kalkilabilite, algoritmik la e teyori konpleksite, teyori enfòmasyon, etid semantik poubann langaj pwogramasyon an, lojik matematik la, teyori otomat e langaj fòmèl.