Wyniki wyszukiwania

Znaleziono w tytułach

• Predykat (języki formalne)
  …at – warunek o który mogą być wzbogacone produkcje [[Hierarchia Chomskiego#Języki bezkontekstowe (typu 2)|języka bezkontekstowego]] [[Kategoria:Języki formalne]] …
  2 KB (273 słowa) - 03:39, 29 lis 2024

Znaleziono w treści stron

• Język rekurencyjnie przeliczalny
  Języki rekurencyjnie przeliczalne są [[Działanie wewnętrzne|zamknięte]] ze względu {{Języki formalne i gramatyki}} …
  1 KB (165 słów) - 11:51, 29 lis 2024
• System Thuego
  [[Kategoria:Języki formalne]] …
  309 bajtów (47 słów) - 08:22, 24 lut 2024
• Gramatyka kontekstowa
  {{Języki formalne i gramatyki}} [[Kategoria:Języki formalne]] …
  2 KB (263 słowa) - 03:37, 29 lis 2024
• Język rekurencyjny
  == Definicje formalne == Języki rekurencyjne są zamknięte ze względu na następujące operacje: …
  3 KB (499 słów) - 03:39, 29 lis 2024
• Gramatyka bezkontekstowa
  {{Języki formalne i gramatyki}} [[Kategoria:Języki formalne]] …
  2 KB (280 słów) - 03:29, 29 lis 2024
• Postać normalna Kurody
  [[Kategoria:Języki formalne]] …
  692 bajtów (101 słów) - 23:18, 8 lip 2023
• System półthueowski
  [[Kategoria:Języki formalne]] …
  764 bajtów (118 słów) - 08:17, 1 sie 2019
• Symbol startowy
  [[Kategoria:Języki formalne]] …
  956 bajtów (140 słów) - 14:23, 22 sie 2019
• Lemat Ogdena
  [[Kategoria:Języki formalne]] …
  1 KB (171 słów) - 15:04, 27 gru 2022
• Deterministyczny automat ze stosem
  {{Języki formalne i gramatyki}} …
  990 bajtów (168 słów) - 10:13, 23 lut 2019
• Język kontekstowy
  …inga| autor = Maria Foryś |autor2 = Wit Foryś |autor3 = Adam Roman|praca = Języki, automaty i obliczenia – [http://wazniak.mimuw.edu.pl wazniak.mimuw.edu.pl] …tkie [[język bezkontekstowy|języki bezkontekstowe]] oraz [[język regularny|języki regularne]]. …
  5 KB (834 słowa) - 03:35, 29 lis 2024
• Predykat (języki formalne)
  …at – warunek o który mogą być wzbogacone produkcje [[Hierarchia Chomskiego#Języki bezkontekstowe (typu 2)|języka bezkontekstowego]] [[Kategoria:Języki formalne]] …
  2 KB (273 słowa) - 03:39, 29 lis 2024
• Hierarchia Chomskiego
  * [[język regularny|języki typu 3 – regularne]], * [[język bezkontekstowy|języki typu 2 – bezkontekstowe]], …
  5 KB (785 słów) - 03:43, 29 lis 2024
• Słowo (matematyka)
  [[Kategoria:Języki formalne]] …
  1 KB (193 słowa) - 00:43, 3 gru 2024
• Problem pokrycia wierzchołkowego
  Problemy decyzyjne definiuje się formalnie jako [[język formalny|języki formalne]]. …
  1 KB (196 słów) - 10:10, 25 mar 2024
• Dowód poprawności algorytmu
  Są jednak takie języki, w których np. da się udzielić odpowiedzi na drugie pytanie. Do takich języ == Podejście formalne == …
  3 KB (489 słów) - 20:49, 10 kwi 2023
• Język formalny
  …nad takim alfabetem istnieje tylko jedno słowo – słowo puste – i tylko dwa języki – język pusty oraz język zawierający tylko słowo puste, == Języki na zbiorach nieskończonych == …
  10 KB (1570 słów) - 03:34, 29 lis 2024
• Twierdzenie Myhilla-Nerode’a
  [[Kategoria:Języki formalne]] …
  2 KB (372 słowa) - 12:08, 17 gru 2022
• Domknięcie Kleene’ego
  [[Kategoria:Języki formalne|Kategoria:Logika]] …
  2 KB (375 słów) - 13:30, 26 lis 2024
• Język bezkontekstowy
  Języki bezkontekstowe mają ważne znaczenie w informatyce, m.in. w budowie kompilat * Języki bezkontekstowe są zamknięte ze względu na [[Konkatenacja|konkatenację]], su …
  12 KB (2088 słów) - 03:28, 29 lis 2024