• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Gramatyka formalna



    Podstrony: [1] [2] 3
    Przeczytaj także...
    Analizator składniowy lub parser – program dokonujący analizy składniowej danych wejściowych w celu określenia ich struktury gramatycznej w związku z określoną gramatyką formalną. Nazwa analizator składniowy podkreśla analogię z analizą składniową stosowaną w gramatyce i językoznawstwie. Analizator składniowy umożliwia przetworzenie tekstu czytelnego dla człowieka w strukturę danych przydatną dla oprogramowania komputera.Gramatyka kombinatoryczna – gramatyka formalna bez ograniczeń na postać reguł. W hierarchii Chomsky’ego jest to gramatyka typu 0. Generuje język rekurencyjnie przeliczalny.
    Klasy gramatyk[ | edytuj kod]

    Ograniczając postać reguł wyprowadzania, otrzymujemy klasy gramatyk, takie jak (szczegółowo w artykule hierarchia Chomsky’ego):

  • gramatyki regularne
  • gramatyki bezkontekstowe
  • gramatyki bezkontekstowe w postaci normalnej Chomsky’ego
  • gramatyki bezkontekstowe w postaci normalnej Greibach
  • gramatyki kontekstowe
  • gramatyki rekurencyjnie przeliczalne (bez ograniczeń na postać reguł)
  • Gramatyka regularna (odpowiednio: bezkontekstowa, kontekstowa) zawsze generuje język regularny (odp.: bezkontekstowy, kontekstowy). Jednak możliwe jest też, że pewna gramatyka, która nie jest regularna (bezkontekstowa, kontekstowa), generuje język regularny (bezkontekstowy, kontekstowy). W takim przypadku zawsze istnieje też gramatyka o regułach prostszej postaci generująca ten sam język.

    Modelowanie matematyczne to użycie języka matematyki do opisania zachowania jakiegoś układu (na przykład układu automatyki, biologicznego, ekonomicznego, elektrycznego, mechanicznego, termodynamicznego).Język formalny – jest to podzbiór zbioru wszystkich słów nad skończonym alfabetem. Język formalny jest kluczowym pojęciem w informatyce, logice matematycznej i językoznawstwie. Język formalny nie jest uściśleniem pojęcia języka naturalnego i nie powinien być z nim mylony.

    Zobacz też[ | edytuj kod]

  • parser


  • Podstrony: [1] [2] 3



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Symbol startowy to 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.
    Postać normalna Chomsky’ego to postać gramatyki bezkontekstowej, w której wszystkie reguły (inaczej: produkcje) są postaci:
    Gemeinsame Normdatei (GND) – kartoteka wzorcowa, stanowiąca element centralnego katalogu Niemieckiej Biblioteki Narodowej (DNB), utrzymywanego wspólnie przez niemieckie i austriackie sieci biblioteczne.

    Reklama

    Czas generowania strony: 0.008 sek.