Ez html programozási nyelv
A közelmúltban egyre gyakrabban különféle online források gondoskodjon holivary téma:-e vagy sem a programozási nyelv HTML. Mint általában, a érvek mindkét szempontból eredményeként jelentős mennyiségben, ezért úgy döntöttem, hogy magam a pont ebben a felesleges vitát.
Definíció programozási nyelv.
programozási nyelv - hivatalos jelrendszer. rögzítésére számítógépes programok. A programozási nyelv határoz meg a lexikai, szintaktikai és szemantikai szabályok, amelyek meghatározzák a megjelenése a program és intézkedéseket. aki elvégzi előadó (PC) ellenőrzése alatt.
Tehát azt mondja, a Wikipedia. és a legtöbb más források vagy teljesen használja ezt a meghatározást, akár szándékosan meghatározza, hogy veszteség nélkül. Nézzük meg részletesebben komponenseinek meghatározása PL:
Több leegyszerűsítve azt mondhatjuk, az alábbiak szerint:
Programozási nyelv - több előre meghatározott, egységes és egyértelmű végrehajtója (értsd: a tolmács / fordító / számítógép / programozó) utasítások rögzítésére szánt egymás kivégzése céljából valamilyen eszköz, amely része a számítógép. Továbbá, a programozási nyelv rendelkeznie kell számos funkció: a használati utasítás nem korlátozható, és mindegyikük kell tudni; Utasítás kell építeni egy bizonyos módon, hogy bizonyos eredményeket, és mindenkinek tudnia kell róla; ott kell lennie szabályokat írásban utasítást és minden tisztában kell lenniük őket; Minden nyelv szerkezete egyértelműen meg kell vonatkozniuk, mi van írva, hogy a szükséges jelet.
Ez annyira nehézkes és csúnya munkát, de anélkül, hogy bonyolult szavakat. Vissza fogunk térni erre a definíció egy kicsit később.
Típusú programozási nyelvek.
Gyakran használják szétválasztása alacsony szintű és a magas szintű nyelveken. Ezek a fajok különböznek „réteg vastagsága” között egy processzort és a programozó. Egyszerű szavakkal - alacsony szintű nyelven, mindegyik utasítás egy vagy kisszámú processzor utasításokat, valamint a magas szintű nyelv, minden egyes utasítás egy nagy sor processzor utasításokat.
Ha közelebbről megnézzük a meghatározása különböző Wikipedia szerint:
- Aspektus-orientált programozás (AOP) - programozási paradigma az elképzelésen alapul, az elkülönülés a funkcionalitás javítására felosztása a programot modulokat.
- Strukturált programozás - szoftverfejlesztési módszertan, amelynek alapja egy ötlet a programot egy hierarchikus blokkokat. Ez javasolt a 70-es években a XX században E. Dijkstra, kifejlesztett és kiegészítve N. Wirth.
- Procedurális - programozni elengedhetetlen nyelven, amelyen a nyilatkozatok szekvenciálisan hajtjuk végre, akkor gyűjt az alprogramot, amely nagyobb, szerves egység kódját, a mechanizmusok a nyelv [1].
- Logikai programozás - programozási paradigma alapján automatizált tételbizonyítás, és egy része a diszkrét matematika, hogy a tanulmányok elvek logikai következtetés alapján megadott információk tények és következtetési szabályok. Logikai programozás alapja az elmélet matematikai logika matematikai elvek indítványokat.
- Az objektum-orientált programozás (OOP) - a programozási paradigma, amely osnovnymikontseptsiyami a fogalmak objektumok és osztályok. Abban az esetben, nyelvek prototípus helyett osztályokat prototípus tárgyakat.
- Funkcionális programozás - szakasz Diszkrét matematika és programozási paradigma, amely protsessvychisleniya kezelni számítási függvények értékeit matematikai értelemben az utóbbi (ellentétben funkcionál alprogram eljárási programozás).
- Többelvű programozási nyelvek - mint általában, egy programozási nyelv, melyet kifejezetten a instrumentmultiparadigmalnogo programozás, azaz képi lehetőségeket, amelyek eredetileg kellett volna örökölni több, gyakran rokon nyelvek.
- Ezoterikus programozási nyelv - egy programozási nyelv célja, hogy tanulmányozza a határait lehetséges programozási nyelv kialakítása, bizonyítani potenciálisan realizálható néhány ötletet (az úgynevezett „proof of concept”, angol prototípus.), Mint a munka program művészeti [en], vagy egy viccek (számítógépes humor).
Felszólító és deklaratív megközelítés
Minden programozási nyelveket két csoportra oszthatók: a deklaratív és elengedhetetlen.
Program imperatív programozási nyelv egy matematikai szempontból a teljes megoldást a problémára, más szóval, a válasz arra a kérdésre, hogy „hogyan kell csinálni?”. Ez parancsokat kell végrehajtania egy előadóművész.
A program egy deklaratív programozási nyelv kombinációja formalizált részeként a programozási nyelv feladat, és minden szükséges döntésének elmélet, egyszerűen fogalmazva, a válasz arra a kérdésre, hogy „mit kell tenni?”. Konkrét munkafolyamat végrehajtja a fordító vagy tolmács gyakran - egy program, amely elvégzi a valós idejű programkód nélkül átalakítja azt a gépi kódot.
Turing teljesség.
Az előadó kiszámíthatóság elmélete (többszörös számítóelemet) egy Turing-teljes. ha ez lehetséges, hogy végre olyan számolható függvény. Más szavakkal, bármely számolható függvény létezik kiszámítja annak elem (például, a Turing-gép), vagy program végrehajtója, és az összes funkciót, kiszámítjuk számos olyan számológépek kiszámítható függvényt (esetleg egy bizonyos kódolási bemeneti és kimeneti adatok).
A név származik Alan Turing. aki feltalálta absztrakt számítógép - a Turing-gép, és átadta a meghatározása egy sor funkciót kiértékelhető a Turing-gép.
Más szóval, a nyelv teljes Turing. ha számolható függvény, hogy szükség van, lehet írni ezen a nyelven, és megoldani a előadóművész.
Nem teljes Turing nyelvek is léteznek, hanem azért, mert létre elsősorban tudományos célokra, ezek nem ismertek, és nem használják széles körben.
Mi választ néhány kérdésre:
Igen. Ez sajátságait nyelvén.