Nereguliarioji vienodo ilgio blokų kalba
Kalba {0ⁿ1ⁿ:n≥0} nėra reguliarioji.
Esminės žinios
Kalba {0ⁿ1ⁿ:n≥0} nėra reguliarioji. Bet kuriam siūlomam kartojimo ilgiui p pasirenkame 0ᵖ1ᵖ. Kiekviename skaidinyje, kuriame |uv|≤p ir |v|≥1, v sudarytas vien iš nulių; jį kartojant pridedama nulių, bet nepridedama vienetų, todėl gautas žodis nepriklauso kalbai.
Sąlygos ir taikymo ribos
- Argumentas apima kiekvieną leistiną skaidinį, o ne vieną patogiai pasirinktą.
- Ši kalba yra bekontekstė; nereguliarumas nereiškia neišsprendžiamumo.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Paskaitos 5 pavyzdys 1 ir kartojimo argumentas, skaidrė 22 su apriboto ilgio priešdėlio sąlyga.
2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaitytas visas 241 glaustas teiginys, hipotezės, atskirai pateiktos lygtys bei susitarimai ir visos 596 kilmės semantinės sąsajos; peržiūrėta visa autoriaus 241 įrašo tikslių šaltinių patikros matrica ir nurodyti apribojimai. Siekiant aprėpti visą įrašų rinkinį, perskaityti 105 ankstesni faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tiksliniai nepriklausomai peržiūrėti pirminių šaltinių skyriai; tuo NETEIGIAMA, kad kiekvienas cituojamas šaltinis ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atliekama informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentinis atkartojimas. Patvirtinimo įrašas: mathematics-information-independent-content-review.1.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- info-nonregular-equal-blocks
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra