Atpažįstamumas ir sprendžiamumas
Atpažintuvas priima kiekvieną savo kalbos žodį, tačiau gavęs kalbai nepriklausantį žodį gali veikti be galo.
Esminės žinios
Atpažintuvas priima kiekvieną savo kalbos žodį, tačiau gavęs kalbai nepriklausantį žodį gali veikti be galo. Sprendiklis sustoja su kiekviena įvestimi ir pateikia teisingą atsakymą. Kalba yra sprendžiama tada ir tik tada, kai ir ją, ir jos papildinį galima atpažinti Tiuringo mašina.
Sąlygos ir taikymo ribos
- Vykdykite abu atpažintuvus pakaitomis po vieną žingsnį, užuot laukę, kol vienas iš jų baigs darbą.
- Visos reguliariosios kalbos yra sprendžiamos.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Paskaita 7: apibrėžimai ir teoremos 4 įrodymas pakaitomis vykdant žingsnius, skaidrės 4–10.
2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaityti visi glaustai suformuluoti teiginiai (241), hipotezės, pateiktos lygtys ir susitarimai bei visos kilmės semantinės sąsajos (596); peržiūrėta visa autoriaus sudaryta 241 įrašo tikslių šaltinių patikros matrica ir deklaruoti apribojimai. Siekiant aprėpti visą įrašų rinkinį, perskaityti 105 ankstesni faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tikslingai ir nepriklausomai peržiūrėti pirminių šaltinių skyriai; tuo NETEIGIAMA, kad kiekvieno cituojamo šaltinio visas tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus eksperto patvirtinimas atitinkamoje mokslo srityje, išsamus vadovėlio atkūrimas ar eksperimentinis pakartojimas. Peržiūros įrašas: mathematics-information-independent-content-review.1.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- info-recognizers-and-deciders
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra