Metalingvistinen abstraktio

Tietojenkäsittelytieteen metalingvistinen abstraktio on prosessi, jossa ratkaistaan ​​monimutkaisia ​​ongelmia luomalla uusi kieli tai sanasto aihealueen (ongelman tai ongelmien) ymmärtämiseksi paremmin [1] . Tätä ongelmaa käsitellään yksityiskohtaisesti MIT:n oppikirjassa Structure and Interpretation of Computer Programs [ 2] , jossa suositellaan Scheme-kielen käyttöä uusien kielten luomisen perustana.

Selitys

Harkitse esimerkiksi lentokentän tietokonesimulaatiota . Proseduuriohjelmointikielissä ( kuten C ) ohjelmoija luo tietorakenteita edustamaan lentokentän elementtejä ja toimii näiden rakenteiden tietojen manipuloimiseksi. Olio -ohjelmointikielissä (kuten C++ ) ohjelmoija voi luoda objekteja edustamaan lentokentän elementtejä menetelmillä, jotka kuvaavat niiden käyttäytymistä ja toimintaa. Toiminnallisissa PL:issä (esimerkiksi Scheme ) hän luo funktion, joka edustaa mallia lentokentän infrastruktuurin elementtien käyttäytymisestä. Metallingvistinen ohjelmoija ratkaisee ongelmia luomalla uuden lentokentän mallinnuskielen, jolla on omat primitiivinsä ja toimintansa. Mikä tahansa tai kaikki yllä olevista menetelmistä voidaan sisällyttää tietylle kielelle käsillä olevasta tehtävästä riippuen.

Koska funktionaalisen metalingvistisen abstraktion luominen ei-funktionaalisilla kielillä voi olla hankalaa ja funktionaalisten makrojen syntaktisen joustavuuden vuoksi , metalingistinen ohjelmointi tehdään useimmiten toiminnallisin perustein [3] .

Katso myös

Kirjallisuus

Englantia puhuva
  • Harold Abelson, Gerald Jay Sussman, Julie Sussman. Tietokoneohjelmien rakenne ja tulkinta. - Osa 4, 1996. - 657 s.
  • Erik De Corte, Marcia Linn, Heinz Mandl, Lieven Verschaffel. Tietokonepohjaiset oppimisympäristöt ja ongelmanratkaisu. — Sivu 69-72, 2013. - 484 s.
  • George F. Luger, William A. Stubblefield. Tekoäly ja asiantuntijajärjestelmien suunnittelu . - § 16, 1989. - 660 s.
  • George F. Luger. Tekoäly: rakenteet ja strategiat monimutkaiseen ongelmanratkaisuun. - 2005. - 903 s.
  • PLILP '97. Ohjelmointikielet: toteutukset, logiikka ja ohjelmat:. - 1997. - 428 s.
venäjä
  • D. P. Gorsky. Abstraktion ja käsitteiden muodostumisen kysymyksiä. — Sivu 135-138: Neuvostoliiton tiedeakatemian kustantamo, 1961. - 350 s.
  • Metallingvistiikan kysymyksiä. - Leningradin valtionyliopisto, joka on nimetty A.A. Ždanov. Rakenne- ja sovelletun kielitieteen laitos, 1974. - 137 s.
  • Tekoäly: strategioita ja tekniikoita monimutkaisten ongelmien ratkaisemiseksi, 4. painos. - Osat 14, 15, 16: Williams, 2005. - 1060 s.

Linkit

Muistiinpanot

  1. ↑ Ohjelmistot - Käsitteet ja työkalut. Tietojenkäsittelytieteen bibliografia . Haettu 9. huhtikuuta 2016. Arkistoitu alkuperäisestä 5. maaliskuuta 2016.
  2. ↑ Tietokoneohjelmien rakenne ja tulkinta _ _ _
  3. ↑ Vlasovskikh A. S. Aluekohtaisten ohjelmointikielten kehityksen historia
  4. ↑ Tekoäly. Osa 11 (Luger, J. F. 2001) . Haettu 9. huhtikuuta 2016. Arkistoitu alkuperäisestä 30. marraskuuta 2016.