21 suhteet: Aakkosto (logiikka), Automaatti, Chomskyn hierarkia, Epsilon, Formaali kielioppi, Joukko, Katenaatio, Kleenen tähti, Komplementti, Lambda, Leikkaus (matematiikka), Logiikka, Luonnollinen luku, Matematiikka, Merkkijono, Ohjelmointikieli, Säännöllinen lauseke, Tietojenkäsittelytiede, Tietokoneohjelma, Turingin kone, Yhdiste (matematiikka).
Aakkosto (logiikka)
Aakkosto on äärellinen, ei-tyhjä joukko merkkejä, joita käytetään kielen muodostamiseen.
Uusi!!: Formaali kieli ja Aakkosto (logiikka) · Katso lisää »
Automaatti
Puhelinkorttiautomaatti Automaatti on kone, joka tekee itsestään sille määritellyn tehtävän.
Uusi!!: Formaali kieli ja Automaatti · Katso lisää »
Chomskyn hierarkia
Chomskyn hierarkia on tunnetuin järjestelmä formaaleja kieliä tuottavien formaalien kielioppien luokittelemiseen.
Uusi!!: Formaali kieli ja Chomskyn hierarkia · Katso lisää »
Epsilon
Epsilon (isona kirjaimena Ε, pienenä ε tai ϵ) on kreikkalaisen kirjaimiston viides kirjain.
Uusi!!: Formaali kieli ja Epsilon · Katso lisää »
Formaali kielioppi
Formaali kielioppi on rakenne, joka kuvaa tarkasti formaalin kielen.
Uusi!!: Formaali kieli ja Formaali kielioppi · Katso lisää »
Joukko
Joukko on matematiikassa joukko-oppiin kuuluva peruskäsite.
Uusi!!: Formaali kieli ja Joukko · Katso lisää »
Katenaatio
Katenaatio tarkoittaa kemiassa saman alkuaineen atomien sitoutumista toisiinsa kovalenttisilla sidoksilla pitkähköiksi ketjumaisiksi tai rengasmaisiksi molekyyleiksi.
Uusi!!: Formaali kieli ja Katenaatio · Katso lisää »
Kleenen tähti
Kleenen tähti on tietojenkäsittelytieteessä operaattori, jolla ilmaistaan merkkien tai merkkijonojoukkojen toistoa nolla kertaa, yhden kerran tai useampia kertoja.
Uusi!!: Formaali kieli ja Kleenen tähti · Katso lisää »
Komplementti
Komplementti sanana tarkoittaa täydentävä ja tarkoittaa kohdetta, joka tekee viitatun kohteen kokonaiseksi tai täydelliseksi.
Uusi!!: Formaali kieli ja Komplementti · Katso lisää »
Lambda
Lambda (isona kirjaimena Λ, pienenä &lambda) on kreikkalaisen kirjaimiston 11.
Uusi!!: Formaali kieli ja Lambda · Katso lisää »
Leikkaus (matematiikka)
Joukkojen ''A'' ja ''B'' leikkaus Leikkaus on joukko-opin käsite.
Uusi!!: Formaali kieli ja Leikkaus (matematiikka) · Katso lisää »
Logiikka
Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.
Uusi!!: Formaali kieli ja Logiikka · Katso lisää »
Luonnollinen luku
Luonnollisia lukuja voidaan käyttää asioiden lukumäärän ilmoittamiseen (yksi omena, kaksi omenaa, kolme omenaa,...) Luonnolliset luvut muodostavat lukujoukon \mathbb.
Uusi!!: Formaali kieli ja Luonnollinen luku · Katso lisää »
Matematiikka
Eukleides, yksityiskohta Rafaelin teoksesta ''Ateenan koulu''. Matematiikka on deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede.
Uusi!!: Formaali kieli ja Matematiikka · Katso lisää »
Merkkijono
Merkkijono on useiden ohjelmointikielten tietotyyppi, järjestetty jono peräkkäisiä merkkejä, jotka kaikki on koodattu saman merkkijärjestelmän mukaan.
Uusi!!: Formaali kieli ja Merkkijono · Katso lisää »
Ohjelmointikieli
Ohjelmointikielet ovat formaaleja kieliä, joita ohjelmoijat käyttävät tietokoneen ohjelmointiin algoritmin toteuttamiseksi.
Uusi!!: Formaali kieli ja Ohjelmointikieli · Katso lisää »
Säännöllinen lauseke
Säännöllinen lauseke (lyhyesti regexp tai regex) on tietojenkäsittelyteoriassa lauseke, joka määrittelee säännöllisen kielen.
Uusi!!: Formaali kieli ja Säännöllinen lauseke · Katso lisää »
Tietojenkäsittelytiede
Tietojenkäsittelytiede tai tietojenkäsittelyoppi on tieteenala, joka tutkii tietotekniikkaan ja sen käyttöön liittyviä kysymyksiä, muun muassa tiedon tallennusta, prosessointia, esittämistä ja siirtämistä.
Uusi!!: Formaali kieli ja Tietojenkäsittelytiede · Katso lisää »
Tietokoneohjelma
Tietokoneohjelma (usein lyhyesti vain ohjelma) on joukko ennalta laadittuja käskyjä, suunnitelma tai proseduuri, jota seuraten tietokone suorittaa sille valmistellun ongelmanratkaisutehtävän: ohjelmia yleisesti kutsutaan ohjelmistoksi vastakohtana laitteistolle.
Uusi!!: Formaali kieli ja Tietokoneohjelma · Katso lisää »
Turingin kone
Taiteilijan hahmotelma Turingin koneesta. Lego-palikoista rakennettu Turingin kone. Turingin kone on teoreettinen malli sille, miten tietokone toimii.
Uusi!!: Formaali kieli ja Turingin kone · Katso lisää »
Yhdiste (matematiikka)
Joukkojen ''A'' ja ''B'' yhdiste Yhdiste eli unioni on joukko-oppiin liittyvä käsite.
Uusi!!: Formaali kieli ja Yhdiste (matematiikka) · Katso lisää »
Uudelleenohjaukset tässä:
Formaalinen kieli, Formaaliset kielet, Formaalit kielet, Muodollinen kieli.