Szybszy dostęp niż przeglądarce!
56 kontakty: ALGOL 1204, Algorytm CYK, Algorytm Earleya, Analizator składniowy, C (język programowania), David Premack, Drzewo składniowe, Drzewo wyprowadzenia, Generator parserów, Generowanie parserów LR, Gesture Description Language, Gramatyka, Gramatyka bezkontekstowa, Gramatyka kategorialna, Gramatyka kombinatoryczna, Gramatyka kontekstowa, Gramatyka regularna, Hierarchia Chomsky’ego, Historia liczb, Inferencja gramatyki, Interpreter (wzorzec projektowy), Język bezkontekstowy, Język formalny, Język programowania, Język regularny, Język znaczników, Kodowanie gramatykowe, Kompilator, L-system, LALR, Lingwistyka matematyczna, Marek Świdziński, Metoda ograniczonego kontekstu, Metoda pierwszeństwa operatorów, Metoda przesunięcie-redukcja, More Than Parsing, Noam Chomsky, Notacja EBNF, Parser LL, Parser SLR, PEG, Podgląd, Postać normalna Chomsky’ego, Postać normalna Greibach, Postać normalna Kurody, Probabilistyczna gramatyka bezkontekstowa, Sequitur, Stanisław Leśniewski (1886–1939), Symbol startowy, Tabela parsingu, ..., Teoria automatów, Terminal, Uczenie maszynowe, Wyrażenie regularne, Zbiór generatorów grupy, Zbiory First i Follow. Rozwiń indeks (6 jeszcze) »
ALGOL 1204
ALGOL 1204 – język programowania i translator stanowiący implementację języka ALGOL 60 dla komputera Odra 1204 produkowanego w zakładach Elwro z Wrocławia w latach 1968-1972.
Nowy!!: Gramatyka formalna i ALGOL 1204 · Zobacz więcej »
Algorytm CYK
Algorytm CYK (Cocke’a-Youngera-Kasamiego) – dynamiczny algorytm sprawdzający, czy słowo należy do języka bezkontekstowego.
Nowy!!: Gramatyka formalna i Algorytm CYK · Zobacz więcej »
Algorytm Earleya
Algorytm Earleya – algorytm służący do analizy składniowej na podstawie dowolnej gramatyki bezkontekstowej.
Nowy!!: Gramatyka formalna i Algorytm Earleya · Zobacz więcej »
Analizator składniowy
Przykład analizy składniowej (parsingu) wyrażeń matematycznych Analizator składniowy, parser – program komputerowy dokonujący analizy składniowej danych wejściowych w celu określenia ich struktury gramatycznej w związku z określonągramatykąformalną.
Nowy!!: Gramatyka formalna i Analizator składniowy · Zobacz więcej »
C (język programowania)
C – imperatywny, proceduralny język programowania ogólnego przeznaczenia, stworzony na początku lat 70.
Nowy!!: Gramatyka formalna i C (język programowania) · Zobacz więcej »
David Premack
David Premack (ur. 26 października 1925 w Aberdeen, zm. 11 czerwca 2015 w Santa Barbara) – amerykański psycholog poznawczy i filozof (pozytywizm logiczny), prymatolog związany z Uniwersytetem Missouri, Uniwersytetem Kalifornijskim w Santa Barbara, Uniwersytetem Pensylwanii, twórca zasady, dotyczącej wzmacniania zachowań mniej prawdopodobnych przez bardziej prawdopodobne, powszechnie stosowanego pojęcia „teoria umysłu” oraz propozycji sposobu komunikacji z innymi naczelnymi, która stała się inspiracjądla twórców języka.
Nowy!!: Gramatyka formalna i David Premack · Zobacz więcej »
Drzewo składniowe
Drzewo składniowe, drzewo AST, czyli drzewo składni abstrakcyjnej – drzewo etykietowane, wynik przeprowadzenia analizy składniowej zdania (słowa) zgodnie z pewnągramatyką.
Nowy!!: Gramatyka formalna i Drzewo składniowe · Zobacz więcej »
Drzewo wyprowadzenia
Proste drzewo wyprowadzenia Drzewo wyprowadzenia, czyli drzewo składni konkretnej – wynik przeprowadzenia analizy składniowej zdania (słowa) zgodnie z pewnągramatyką.
Nowy!!: Gramatyka formalna i Drzewo wyprowadzenia · Zobacz więcej »
Generator parserów
Generator parserów – program generujący analizator składniowy (parser) języka formalnego na podstawie jego opisu, najczęściej w postaci gramatyki.
Nowy!!: Gramatyka formalna i Generator parserów · Zobacz więcej »
Generowanie parserów LR
Generowanie parserów LR – zautomatyzowany proces tworzenia parsera LR.
Nowy!!: Gramatyka formalna i Generowanie parserów LR · Zobacz więcej »
Gesture Description Language
Oficjalne logo technologii GDL GDL, GDL Technology – język opisu gestów (ang. Gesture Description Language), metoda opisu i automatycznej komputerowej klasyfikacji gestów i ruchów opracowana przez dr inż.
Nowy!!: Gramatyka formalna i Gesture Description Language · Zobacz więcej »
Gramatyka
Gramatyka – uporządkowany zbiór reguł językowych rządzących organizacjązdań, dyskursów, tekstów; innymi słowy zespół prawideł umożliwiających tworzenie złożonych jednostek językowych, ich składanie z jednostek elementarnych.
Nowy!!: Gramatyka formalna i Gramatyka · Zobacz więcej »
Gramatyka bezkontekstowa
Gramatyka bezkontekstowa – gramatyka formalna, w której wszystkie reguły wyprowadzania wyrażeń sąpostaci: gdzie: Każdy język bezkontekstowy generowany jest przez pewnągramatykę bezkontekstową.
Nowy!!: Gramatyka formalna i Gramatyka bezkontekstowa · Zobacz więcej »
Gramatyka kategorialna
Gramatyka kategorialna – rodzaj gramatyki formalnej, w której wyróżnia się: słownik będący zbiorem atomów języka opisywanego przez gramatykę, typizację początkowąokreślającązasady przypisywania typów elementom ze słownika oraz typ naczelny gramatyki.
Nowy!!: Gramatyka formalna i Gramatyka kategorialna · Zobacz więcej »
Gramatyka kombinatoryczna
Gramatyka kombinatoryczna – gramatyka formalna bez ograniczeń na postać reguł.
Nowy!!: Gramatyka formalna i Gramatyka kombinatoryczna · Zobacz więcej »
Gramatyka kontekstowa
Gramatyka kontekstowa – gramatyka formalna, której reguły sąpostaci: gdzie: Każda gramatyka kontekstowa definiuje pewien język kontekstowy.
Nowy!!: Gramatyka formalna i Gramatyka kontekstowa · Zobacz więcej »
Gramatyka regularna
Gramatyka regularna – gramatyka formalna, za pomocąktórej można opisać język regularny.
Nowy!!: Gramatyka formalna i Gramatyka regularna · Zobacz więcej »
Hierarchia Chomsky’ego
Zestawy inkluzyjne opisane przez hierarchię Chomsky’ego Hierarchia Chomsky’ego – stworzona przez Noama Chomsky’ego hierarchia klas języków formalnych.
Nowy!!: Gramatyka formalna i Hierarchia Chomsky’ego · Zobacz więcej »
Historia liczb
Historia liczb – artykuł będący przekrojowym spojrzeniem na historię pojęcia liczby.
Nowy!!: Gramatyka formalna i Historia liczb · Zobacz więcej »
Inferencja gramatyki
Inferencja gramatyki – szczególny przypadek indukcyjnego uczenia się, w którym celem jest stworzenie pewnej gramatyki formalnej na podstawie dostarczonych pozytywnych przykładów słów pewnego języka, oraz przykładów negatywnych.
Nowy!!: Gramatyka formalna i Inferencja gramatyki · Zobacz więcej »
Interpreter (wzorzec projektowy)
Interpreter – czynnościowy wzorzec projektowy, którego celem jest zdefiniowanie opisu gramatyki pewnego języka interpretowalnego, a także stworzenie dla niej interpretera, dzięki któremu będzie możliwe rozwiązanie opisanego problemu.
Nowy!!: Gramatyka formalna i Interpreter (wzorzec projektowy) · Zobacz więcej »
Język bezkontekstowy
Język bezkontekstowy – język formalny taki, że istnieje niedeterministyczny automat ze stosem decydujący czy dany łańcuch należy do języka.
Nowy!!: Gramatyka formalna i Język bezkontekstowy · Zobacz więcej »
Język formalny
Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem.
Nowy!!: Gramatyka formalna i Język formalny · Zobacz więcej »
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Nowy!!: Gramatyka formalna i Język programowania · Zobacz więcej »
Język regularny
Język regularny – język formalny taki, że istnieje deterministyczny automat skończony potrafiący zdecydować, czy dane słowo należy do języka.
Nowy!!: Gramatyka formalna i Język regularny · Zobacz więcej »
Język znaczników
Język znaczników oparty na SGML-uWykorzystywany podczas redagowania elektronicznej wersji Oxford English Dictionary. Umożliwia on wykonywanie złożonych zapytań przy wyszukiwaniu danych oraz łatwątransformację dokumentu do formatu HTML Język znaczników – format dokumentu zawierający obok tekstu także dodatkowe informacje, które go opisują.
Nowy!!: Gramatyka formalna i Język znaczników · Zobacz więcej »
Kodowanie gramatykowe
Kodowanie gramatykowe (ang. grammar-based coding) – nazwa grupy algorytmów kodowania stosowanych w bezstratnej kompresji danych, w których dane wejściowe opisuje się gramatykąbezkontekstową, dąży się przy tym do minimalizacji ilości reguł.
Nowy!!: Gramatyka formalna i Kodowanie gramatykowe · Zobacz więcej »
Kompilator
Schemat blokowy kompilatora wieloprzebiegowego Kompilator – program służący do automatycznego tłumaczenia kodu napisanego w jednym języku (języku źródłowym) na równoważny kod w innym języku (języku wynikowym)A.
Nowy!!: Gramatyka formalna i Kompilator · Zobacz więcej »
L-system
3D. Drzewo wygenerowane przez L-system. L-system, system Lindenmayera – zestaw reguł produkcji gramatyki formalnej służący do tworzenia graficznych tworów o fraktalnej budowie.
Nowy!!: Gramatyka formalna i L-system · Zobacz więcej »
LALR
LALR – metoda wstępującej analizy składniowej, działająca na zasadzie przesunięcie-redukcja, jeden z rodzajów analizy typu LR (ang. reads input from Left to right and produces a Rightmost derivation), czyli „czyta wejście od lewej do prawej i wytwarza prawostronne wyprowadzenie”.
Nowy!!: Gramatyka formalna i LALR · Zobacz więcej »
Lingwistyka matematyczna
Lingwistyka matematyczna – dział językoznawstwa, w którym do badania języków stosuje się metody matematyczne, podzielony na dwa kierunki: syntetyczny i analityczny.
Nowy!!: Gramatyka formalna i Lingwistyka matematyczna · Zobacz więcej »
Marek Świdziński
Marek Rafał Świdziński (ur. 23 kwietnia 1949 w Warszawie) – polski językoznawca, gramatyk formalny, profesor doktor habilitowany nauk humanistycznych.
Nowy!!: Gramatyka formalna i Marek Świdziński · Zobacz więcej »
Metoda ograniczonego kontekstu
Metoda ograniczonego kontekstu (ang. bounded-context parsing) lub BC(m,n) – analiza wstępująca działająca na zasadzie przesunięcie-redukcja (ang. shift-reduce), w której decyzja o akcji do wykonania podejmowana jest na podstawie m symboli z wierzchołka stosu i n kolejnych symboli z wejścia.
Nowy!!: Gramatyka formalna i Metoda ograniczonego kontekstu · Zobacz więcej »
Metoda pierwszeństwa operatorów
Metoda pierwszeństwa operatorów (ang. operator precedence parsing) – rodzaj wstępującej analizy składniowej typu ''shift-reduce'', mający zastosowane dla większości języków posiadających gramatykę operatorową, czyli taką, że prawa strona każdej produkcji nie zawiera dwóch sąsiadujących nieterminali.
Nowy!!: Gramatyka formalna i Metoda pierwszeństwa operatorów · Zobacz więcej »
Metoda przesunięcie-redukcja
Metoda przesunięcie-redukcja – ogólna metoda wstępującej analizy składniowej.
Nowy!!: Gramatyka formalna i Metoda przesunięcie-redukcja · Zobacz więcej »
More Than Parsing
MTP (ang. More Than Parsing) to narzędzie do generowania Analizator składniowyów z opisu gramatyki w postaci GONF (Generalised Object Normal Form).
Nowy!!: Gramatyka formalna i More Than Parsing · Zobacz więcej »
Noam Chomsky
Noam Chomsky (ur. 7 grudnia 1928 w Filadelfii) – amerykański językoznawca, filozof, działacz polityczny.
Nowy!!: Gramatyka formalna i Noam Chomsky · Zobacz więcej »
Notacja EBNF
Rozszerzona notacja Backusa-Naura – sposób wyrażenia gramatyki bezkontekstowej, czyli opisem języków formalnych.
Nowy!!: Gramatyka formalna i Notacja EBNF · Zobacz więcej »
Parser LL
Parser LL to parser czytający tekst od lewej do prawej i produkujący lewostronne wyprowadzenie metodązstępującą.
Nowy!!: Gramatyka formalna i Parser LL · Zobacz więcej »
Parser SLR
Parser SLR (ang. SLR parser, Simple LR parser) jest to parser typu LR, utworzony na podstawie zadanej gramatyki formalnej G, którego tabela parsingu konstruowana jest na podstawie kanonicznej rodziny zbiorów sytuacji LR(0) oraz zbiorów FOLLOW dla gramatyki G. Gramatyka, dla której można skonstruować deterministyczny parser SLR nazywana jest gramatykąSLR.
Nowy!!: Gramatyka formalna i Parser SLR · Zobacz więcej »
PEG
* Parsing expression grammar – rodzaj gramatyki formalnej.
Nowy!!: Gramatyka formalna i PEG · Zobacz więcej »
Podgląd
Podgląd w rozmaitych algorytmach polega na wczytywaniu danych wejściowych "na zapas" przed podejmowaniem kosztownej obliczeniowo decyzji.
Nowy!!: Gramatyka formalna i Podgląd · Zobacz więcej »
Postać normalna Chomsky’ego
Postać normalna Chomsky’ego to postać gramatyki bezkontekstowej, w której wszystkie reguły (inaczej: produkcje) sąpostaci: gdzie małe litery oznaczająsymbole terminalne, duże zaś nieterminalne.
Nowy!!: Gramatyka formalna i Postać normalna Chomsky’ego · Zobacz więcej »
Postać normalna Greibach
Postać normalna Greibach to postać gramatyki bezkontekstowej, w której wszystkie reguły sąpostaci: gdzie a to dowolny symbol terminalny, Y_1...Y_m to (być może pusty) ciąg symboli nieterminalnych.
Nowy!!: Gramatyka formalna i Postać normalna Greibach · Zobacz więcej »
Postać normalna Kurody
Gramatyka formalna jest w postaci normalnej Kurody, jeśli zawiera tylko produkcje postaci: AB \to CD, A \to BC, A \to B, A \to \alpha, gdzie A,B i C to symbole nieterminalne, a \alpha – symbol terminalny.
Nowy!!: Gramatyka formalna i Postać normalna Kurody · Zobacz więcej »
Probabilistyczna gramatyka bezkontekstowa
Probabilistyczna (stochastyczna) gramatyka bezkontekstowa (PCFG, ang. probabilistic context-free grammar, SCFG, ang. stochastic context-free grammar) to gramatyka bezkontekstowa, do której dołączono prawdopodobieństwa występujących w niej reguł (produkcji).
Nowy!!: Gramatyka formalna i Probabilistyczna gramatyka bezkontekstowa · Zobacz więcej »
Sequitur
Sequitur – algorytm kompresji, który znajduje dla podanego tekstu opisującągo gramatykę bezkontekstową; następnie gramatyka jest kompresowana konwencjonalnymi metodami.
Nowy!!: Gramatyka formalna i Sequitur · Zobacz więcej »
Stanisław Leśniewski (1886–1939)
Grób Stanisława Leśniewskiego na cmentarzu Powązkowskim Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.
Nowy!!: Gramatyka formalna i Stanisław Leśniewski (1886–1939) · Zobacz więcej »
Symbol startowy
Symbol startowy – symbol nieterminalny wyróżniony w konkretnej gramatyce formalnej, taki że generację słowa w tej gramatyce zaczynamy od słowa złożonego z tego symbolu.
Nowy!!: Gramatyka formalna i Symbol startowy · Zobacz więcej »
Tabela parsingu
Tabela parsingu (ang. parsing table), inna nazwa to tablica sterująca – element sterujący pracąparsera, wykorzystywany w różnych metodach analizy składniowej.
Nowy!!: Gramatyka formalna i Tabela parsingu · Zobacz więcej »
Teoria automatów
Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących.
Nowy!!: Gramatyka formalna i Teoria automatów · Zobacz więcej »
Terminal
* terminal komputerowy – urządzenie pozwalające człowiekowi na pracę z komputerem lub systemem komputerowym.
Nowy!!: Gramatyka formalna i Terminal · Zobacz więcej »
Uczenie maszynowe
Uczenie maszynowe, samouczenie się maszyn albo systemy uczące się – obszar sztucznej inteligencji poświęcony algorytmom, które poprawiająsię automatycznie poprzez doświadczenie, czyli ekspozycję na dane.
Nowy!!: Gramatyka formalna i Uczenie maszynowe · Zobacz więcej »
Wyrażenie regularne
Wyrażenie regularne (ang. regular expression, w skrócie regex lub regexp) – wzorzec opisujący łańcuch symboli.
Nowy!!: Gramatyka formalna i Wyrażenie regularne · Zobacz więcej »
Zbiór generatorów grupy
Zbiór generatorów grupy – podzbiór, który nie zawiera się w żadnej podgrupie właściwej danej grupy.
Nowy!!: Gramatyka formalna i Zbiór generatorów grupy · Zobacz więcej »
Zbiory First i Follow
FirstG,k(α), FollowG,k(α) – zbiory słów nad pewnym alfabetem, służące do analizowania gramatyk formalnych, np.
Nowy!!: Gramatyka formalna i Zbiory First i Follow · Zobacz więcej »
Przekierowuje tutaj:
Nieterminal, Symbol nieterminalny, Symbol terminalny.
