• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Język formalny



    Podstrony: 1 [2] [3] [4]
    Przeczytaj także...
    Liczba pierwsza – liczba naturalna większa od 1, która ma dokładnie dwa dzielniki naturalne: jedynkę i siebie samą, np.Automat liniowo ograniczony (ang. linear bounded automaton) to ograniczona wersja maszyny Turinga, która podczas obliczenia na słowie wejściowym długości n może wykorzystać jedynie O(n) komórek taśmy. Innymi słowy, dostępna pamięć jest funkcją liniową od długości wejścia. Można także powiedzieć, że może ona w trakcie działania wykorzystywać tylko te komórki na taśmie, w których zapisane jest słowo wejściowe.

    Język formalnypodzbió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.

    Gramatyka generatywna zamierza wyjaśnić kompetencję mówiącego (słuchającego) w zakresie tworzenia (rozumienia) zdań danego języka, polegającą między innymi na tym, że każdy mówiący jest zdolny do konstruowania zdań, których dotąd nie zbudował, a słuchający do rozumienia zdań, których dotąd nie słyszał. Inaczej mówiąc, każdy użytkownik języka jest w stanie rozstrzygnąć, czy dane zdanie należy do języka, w którym się wypowiada (jest poprawne w tym języku), czy też doń nie należy (jest w nim niepoprawne). Zdolność ta tłumaczy się faktem rozporządzania przez mówiącego skończoną liczbą reguł gramatycznych, za pomocą których tworzy on syntagmy i zdania ze znanych sobie wyrazów.Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np. żadnego, jednego, wszystkich. Pierwszy przypadek nazywa się podzbiorem pustym, drugi – podzbiorem jednoelementowym lub singletonem, trzeci – podzbiorem niewłaściwym.

    Spis treści

  • 1 Formalna definicja
  • 1.1 Alfabet
  • 1.2 Słowo
  • 2 Języki na zbiorach nieskończonych
  • 3 Metody definiowania języków
  • 3.1 Gramatyki formalne
  • 3.1.1 Przykładowa gramatyka
  • 3.2 Należenie słowa do języka
  • 4 Języki formalne a języki naturalne
  • 5 Linki zewnętrzne
  • Gramatyka formalna – sposób opisu języka formalnego, czyli podzbioru zbioru wszystkich słów skończonej długości nad danym alfabetem.Język – ukształtowany społecznie system budowania wypowiedzi, używany w procesie komunikacji interpersonalnej. Na język składają się dwa elementy:


    Podstrony: 1 [2] [3] [4]



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

    Warto wiedzieć że... beta

    Słownik – zbiór słów lub wyrażeń ułożonych i opracowanych według określonej zasady. Struktura słownika dzieli się na artykuły hasłowe ułożone w porządku alfabetycznym, rzadziej tematycznym lub gniazdowym (w oparciu o wspólne gniazda etymologiczne).
    Ciąg – w matematyce pojęcie oddające intuicję ponumerowania, czy też uporządkowania elementów zbioru. W zależności od rodzaju elementów zbioru stosuje się różne nazwy: w przypadku liczb mówi się o ciągach liczbowych, bądź bardziej precyzyjnie, np. w przypadku zbioru liczb całkowitych, rzeczywistych czy zespolonych, ciąg nazywa się wtedy odpowiednio ciągiem całkowitoliczbowym, rzeczywistym i zespolonym. Jeśli elementami zbioru są funkcje, to ciąg nazywa się ciągiem funkcyjnym. Ciąg powstały poprzez wybranie elementów innego ciągu nazywa się podciągiem.
    Definicja intuicyjna: Maszyna Turinga stanowi najprostszy, wyidealizowany matematyczny model komputera, zbudowany z taśmy, na której zapisuje się dane i poruszającej się wzdłuż niej „głowicy”, wykonującej proste operacje na zapisanych na taśmie wartościach.
    Definicja intuicyjna: Język rekurencyjny to rodzaj języka formalnego, dla którego mając podane reguły jego składni, da się opracować automatyczny sposób sprawdzania, czy dane słowo jest zbudowane zgodnie z tymi regułami (tzn. należy do języka) czy nie.
    Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (WMIM UW, MIMUW) – wydział Uniwersytetu Warszawskiego kształcący w trybie dziennym na kierunkach:
    Automat skończony (ang. finite state machine, FSM) – abstrakcyjny, matematyczny, iteracyjny model zachowania systemu dynamicznego oparty na tablicy dyskretnych przejść między jego kolejnymi stanami (diagram stanów).
    Liczby naturalne – liczby służące podawaniu liczności (trzy osoby, zob. liczebnik główny/kardynalny) i ustalania kolejności (trzecia osoba, zob. liczebnik porządkowy), poddane w matematyce dalszym uogólnieniom (odpowiednio: liczby kardynalne, liczby porządkowe). Badaniem własności liczb naturalnych zajmują się arytmetyka i teoria liczb. Według finitystów, zwolenników skrajnego nurtu filozofii matematyki, są to jedyne liczby, jakimi powinna zajmować się matematyka - słynne jest stwierdzenie propagatora arytmetyzacji wszystkich dziedzin matematyki Leopolda Kroneckera: Liczby całkowite stworzył dobry Bóg. Reszta jest dziełem człowieka.

    Reklama