Pavlovic et al. lihat mesin Turing melalui alfabet biner sebagai coalgebras untuk functor . Simbol dan dengan demikian mewakili pita bergerak.λ X.2 × Pfi n( X× 2 × { ⊲ , ⊳ } )2⊲⊳
Bart Jacobs telah disajikan dalam "berjalan Coalgebraic, dalam perhitungan kuantum dan Turing" pendekatan dengan menggunakan monad. Dia menyajikan mesin Turing dengan menyatakan sebagai coalgebra untuk functor pada set. Atau, pertimbangkan jenis yang mewakili pita dan posisi kepala pada pita. Mesin Turing dengan state juga merupakan endomorfisme pada dalam kategori join-semilattice, atau -matrix dari coalgebras .nPfin[n]T=2Z×Zn2n⊗Pfin(T)n×nT→Pfin(T)
Pendekatan paling canggih untuk mesin Turing (dan juga push-down automata) diberikan oleh Goncharov et al. Para penulis memberikan presentasi monads untuk jenis-jenis mesin oleh generator dan persamaan, mereka menunjukkan bagaimana merepresentasikan perilaku rasional melalui ekspresi titik tetap dan membuktikan berbagai sifat lainnya. Secara khusus, mereka juga mempelajari semantik bahasa mesin tersebut.
Saya harap ini membantu.