Automaten und Berechenbarkeit
مقدمه
این موضوع نشان میدهد ماشینها در اصل چه چیزهایی را میتوانند محاسبه کنند و مرزهایشان کجاست.
اصطلاحات
- ماشین متناهی
- حالت
- گذار
- ماشین تورینگ
- تصمیمپذیری
این موضوع نشان میدهد ماشینها در اصل چه چیزهایی را میتوانند محاسبه کنند و مرزهایشان کجاست.