1)
Onko sellainen kieli tunnistettavissa äärellisellä automaatilla, johon kuuluvat tarkalleen ne sanat, joissa on yhtämonta x:ää ja y:tä?
2)
Voiko sellaisista kielistä, jotka eroavat vain äärellisen monen sanan suhteen, toinen olla tunnistettavissa äärellisellä automaatilla ja toinen ei?
Onko sellainen kieli tunnistettavissa äärellisellä automaatilla, johon kuuluvat tarkalleen ne sanat, joissa on yhtämonta x:ää ja y:tä?
2)
Voiko sellaisista kielistä, jotka eroavat vain äärellisen monen sanan suhteen, toinen olla tunnistettavissa äärellisellä automaatilla ja toinen ei?
Vastaukset 22
Vanhimmat
Kirjoittaja tarvitsisi selvästikin automaatin, joka tunnistaisi palstan otsikon. Vaikka tännekin kirjoitellaan aivan mitä sattuu, niin tämä sentään on aivan liian paksua.
1) Ei ole. Todistus pumppauslemman avulla, etsi Googlella "pumping lemma".
2) Ei ole mahdollista. Äärellinen lisäys kieleen voidaan aina muuttaa automaatiksi, helpoimmillaan mekaanisena "joka merkistä tila" -menetelmällä.
Bonusvastaus 3) Ei, tämä ei ole oikea ryhmä.
Vetäneet myös kaikki kieliteknologian opiskelijat
perässänne tänne ateistipalstalle.
Voisiko muuten prologilla toteuttaa jollain kivalla algoritmilla uskovaisen tietokoneen?
(OFF-TOPICcia melko lailla...)
Kieliteknologian? Olen tietojenkäsittelijä, ja ko. aineen laitoksella töissäkin. Kieliteknologiaan olen vain vetänyt yhden kurssin pari kertaa.
Tuo prolog-juttu on käynyt mielessä, tosin niin että tekisin virtuaalipakanan, WWW-sivun jolla voisi vängätä konetta vastaan. Hommaa vain olisi aika pirusti, mikä tahansa luonnollisen kielen käsittely kun on vaikeaa. Mutta olisihan se mielenkiintoista, jos kone analysoisi että "kas, kosmologinen argumentti ja moraalinen todistus... nythän voidaan ensiksi kysyä kuka loi luojan ja sitten...".
että mitä siellä kurssilla käsitellään, kun TKK:n bioprosessien laitoksellakin kuulemma opetetaan vaikka mitä "huuhaata".
todell.tekoälyä. eli koneen joka kykenee inhimillisiin virheisiin. Tuollaiset olisi kivoja koneita. Aamulla kun tulis töihin ja yrittäisi lukea postia ai-pc toteaisi että "mä delasin ne sen-ja-sen viestit kun se on niin ikävä tyyppikin.Sitäpaitse sen ai-pc on toooosi ällö". Siten kone murjottaisi koko päivän tai pelaisi go:ta japanilaisten feminiini-ai-pc:den kanssa.
virtuaalinen kone. Sehän poistaisi kaikki nämä turhat vinoilut puolin ja toisin. Siirtyisimme vain seuraamaan ateistikoneen ja teistikoneen shakkiottelua. Tietokantaan kaikki mahdolliset esimerkit ja vastaesimerkit.
...kun tuon ateistien koneen olisi ohjelmoinut älykkö kun taasen teistin ei-,kö ?!?
Sehän olisi kuin G.Gasparovin ja piispa Paarman shakkimatsin seurantaa...!?!
Juuri tämä mielten puolten kisailuhan täälläkin kiinnostaa ja stimuloi älyn nystyröitä,kö ?!?
Toivottavasti myös teistien puolelta...!?!
lol
;-)
Päteekö seuraava:
Jos kieli L on säännöllinen(Eli tunnistettavissa äärellisellä automaatilla)
->Myöskin säännöllinen on kieli L´, joka on saatu L:stä korottamalla sen jokainen sana toiseen potenssiin.
Mitä tarkoittaa tässä yhteydessä sanan korottaminen toiseen potenssiin?
Esimerkiksi (xyyx)^2=(xyyx)(xyyx)=xyyxxyyx.
kotitehtäviä?
kukas ope sulle noin väärin on opettanu
Tämä on yleinen merkintätapa ainakin Turun yliopiston matematiikan laitoksella, joka on kuuluisa juuri tällaisen alan tutkimuksesta.
???
Miten tuo sitten pitäisi tulkita äärettömän pitkien merkkijonojen tapauksessa?
Kaikki äärelliset merkkijonot ovat epäkiinnostavia, ellei sitten puhuta jostain pienimmästä automaatista tms.
En minä ainakaan ole nähnyt, että äärettömän pitkiä sanoja tunnistettaisiin automaateilla.
Kielessä voi olla äärettömän monta sanaa, jotka kaikki kuitenkin ovat äärellisen pituisia.
No sanotaan sitten "mielivaltaisen pituisia".
Jos 'äärellinen' tarkoittaa "pituus enintään N", ja N jokin kiinnitetty vakio (ja aakkosto on äärellinen), niin silloinhan sanojen määräkin on äärellinen.
Säännöllistä lauseketta "(ab)*" vastaava automaatti (kaksi tilaa joista toinen sekä alku- että lopputila, toiseen tilaan a-kirjainta vastaava kaari ja takaisin b-kirjainta vastaava kaari) tunnistaa mielivaltaisen pitkä ab-parien jonon. Mikä olisi tuon sanan toinen potenssi?
että vain äärellisen monta sanaa sisältävät kielet ovat mielenkiinnottomia, mutta sitä minä en ymmärrä mikä tässä on epäselvää.
"(ab)*" on sanojen JOUKKO, josta kuin korotettaisiin ERIKSEEN toiseen potenssiin.
Kyseessä olisi siis muotoa ((ab)^n)^2 olevat sanat, mistä helposti näkee, että se sama kuin (ab)^(2n)=((ab)^2)^n=(abab)^n eli siis tässä tapauksessa "(abab)*".
????
"
josta kuin korotettaisiin ERIKSEEN
"
tarkoittaa tietysti:
"
josta jokainen korotettaisiin ERIKSEEN
"
...hajatelma,en heti oivaltanut...tai kuvitellut oivaltavani,tai oivaltanut kuvittelevani sen sisällöllistä ideaa,tai ideattomuutta,tai muuta ideallista ideaa tahi -muutta jne...
p.s. toki ymmärsin(?) yskän - raamattu,kö ?!?
Sainko papukaijamerkin...?!? (2x2 2y2=orgiat ?)
lol
;-)