DokuWiki - prekl

c1

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T13:57:28+00:00

C1 - tutorial/cecko.g Jednoduchá gramatika pro výrazy a příkazy používaná v kapitole “Strojově generované syntaktické analyzátory” cecko.g while_stat : "while" "(" expr ")" stat ; if_stat : "if" "(" expr ")" stat ( "else" stat )? ; compound_stat : "{" ( stat )* "}" ; simple_stat : expr ";" ; empty_stat : ";" ; stat : while_stat | if_stat | compound_stat | simple_stat | empty_stat ; simple_expr : identifier | number | "(" expr ")" ; mult_expr : simple_expr ( ("*"|"/") si…

c2

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T13:57:54+00:00

C2 - tutorial/cecko2.g Jednoduchá gramatika pro výrazy a příkazy používaná v kapitole “Objektově orientované syntaktické stromy”. cecko2.g while_stat < TWhileStat: TStat > : "while" "(" cond:expr ")" code:inner_stat ; if_stat < TIfStat: TStat > : "if" "(" cond:expr ")" then_code:inner_stat ( "else" else_code:inner_stat )? ; compound_stat < TCompoundStat: TStat > : "{" ( stat )* …

c3_comp

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:43:27+00:00

C3 - zpracování deklarací - sémantická analýza cecko3_compiler.py from __future__ import print_function from cecko3_parser import * class Compiler (Parser) : def __init__ (self) : super (Compiler, self).__init__ () self.display = [ ] # initialization def on_start_program (self, decl_list) : decl_list.item_name = "" decl_list.item_qual = "" decl_list.item_dict = { } decl_list.item_list = [ ] self.display.append (decl_list) # s…

c3_python

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:44:46+00:00

C3 - převod do jazyka Python Náznak převodu zdrojového textu z C++ do Pythonu cecko3_to_python.py Vstup c3win.cc // #include "QApplication" // #include "QWidget" // #include "QPushButton" // #include "QMainWindow" // #include "QTreeWidget" // #include "QTreeWidgetItem" int main () /* (int argc, char * * argv) */ { dcl QApplication * appl = new QApplication (sys.argv); /* (argc, argc) */ if (false) { dcl QWidget * window = new QWidget (); window->resize (320,…

c3

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T13:58:13+00:00

C3 - tutorial/cecko3.g Gramatika zjednodušeného C++ používaná v kapitole “Objektově orientované syntaktické stromy” cecko3.g Abychom odlišili lokální deklaraci od jednoduchého příkazu obsahujícího výraz a středník, musíme si jazyk upravit a před deklaraci přidat klíčové slovo

c4

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:45:56+00:00

choose

Anonymous (anonymous@undisclosed.example.com) — 2020-05-06T15:40:37+00:00

Choose - opožděné rozhodnutí Při zpracování aritmetických výrazů není vhodné vytvářet novou instanci pro každé zpracovávané pravidlo simple_expr : identifier | number | "(" expr ")" ; multiplicative_expr : simple_expr ( ("*"|"/") simple_expr )* ; additive_expr : multiplicative_expr ( ("+"|"-") multiplicative_expr )* ; expr : additive_expr ( "=" expr )? ;

cindex

Anonymous (anonymous@undisclosed.example.com) — 2023-09-03T07:56:44+00:00

cindex from clang.cindex import Index, Cursor def print_branch (cursor, level = 0) : txt = level * " " + cursor.kind.name + ": " + cursor.spelling print (txt) for item in cursor.get_children () : print_branch (item, level + 1) index = Index.create () tu = index.parse ("example.cc") for item in tu.diagnostics : print ("MESSAGE:", str (item)) cursor = tu.cursor print_branch (cursor)

cmm_comp

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:48:09+00:00

C-- zpracování deklarací cmm_comp.py # cmm_comp.py from __future__ import print_function import os, copy import inspect from cmm_parser import * from cmm_product import * from input import quoteString from util import findColor from code import * # from cmm_code import * from grammar import Grammar from toparser import ToParser from toproduct import ToProduct # -------------------------------------------------------------------------- class NoQuote (object) : def __init__ (self, …

cmm_grammar

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:47:18+00:00

C-- Sémantické predikáty { function_name }? grammar_expression flexible_stat : expr ( { is_expression }? simple_stat | { is_expression }? block_stat | continue_simple_declaration ) ; simple_stat : ';' ; block_stat : body:compound_stat

cmm_qt

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:48:46+00:00

C-- převod do jazyka Python Vstup component.t class Example : public QMainWindow { // this->setWindowTitle ("Example"); QMenuBar * mainMenu { QMenu * file { title = "&File"; QAction * quit { text = "&Quit"; shortcut = "Ctrl+Q"; triggered () { this->close (); } } } } QToolBar * toolbar { QToolButton * tool_button { text = "first"; …

dots

Anonymous (anonymous@undisclosed.example.com) — 2024-04-16T14:33:16+00:00

#include using namespace std; void put (string s) { cout << "retezec " << s << endl; } void put (int p) { cout << "cele cislo " << p << endl; } void put (double p) { cout << "cislo " << p << endl; } void put (char c) { cout << "pismeno " << c << endl; } void print () { } template void print (T head, S ... other) { put (head); print (other ...); } void f () { print (1, 1.2, "abc", 'c'); }

expr

Anonymous (anonymous@undisclosed.example.com) — 2025-03-03T17:37:51+00:00

Syntaktická analýza výrazů Soubory lex.h, lex.cc, decl.h a expr.cc obsahují parser zjednodušeného jazyka C. nebo Budeme zpracovávat výrazy, ktere mohou obsahovat identifikatory, cela cisla, vyrazy v zavorkach, plus a krat : simple : identifier | number | '(' expr ')' ; mul : simple ( '*' simple )* ; expr : mul ( ( '+' | '-' ) mul )* ;

gram_html

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:15:08+00:00

Zobrazení pomocí HTML while_stat : "while" "(" expr ")" stat ; if_stat : "if" "(" expr ")" stat ( "else" stat )? ; compound_stat : "{" ( stat )* "}" ; simple_stat : expr ";" ; empty_stat : ";" ; stat : while_stat | if_stat | compound_stat | simple_stat | empty_stat ; simple_expr : identifier | number | "(" expr ")" ; mult_expr : simple_expr ( ("*"|"/") simple_expr )* ; …

gram_lout

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T13:59:15+00:00

Zobrazení programem LOUT Program Lout Manuál, kapitola 9.8. Syntaktické diagramy Mějme na vstupu gramatické pravidlo if_stat : "if" "(" expr ")" stat ( "else" stat )? ; Program plain_tolout.py prochází gramatiku uloženou ve stromu a

gram_nullable

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:00:18+00:00

Vypouštějící pravidla Nejprve nalezneme Vypouštějící pravidla, tedy pravidla, která lze přepsat na prázdnou posloupnost. Zde je odkaz na program hledající vypouštějící pravidla (a který si zde popíšeme) Pro připomenutí načtení popisu gramatiky a uložení do stromové struktury,

gram_parser

Anonymous (anonymous@undisclosed.example.com) — 2023-03-09T16:21:13+00:00

Parser pro popis gramatiky a uložení gramatiky do stromu Na vstupu bude nějaká gramatika, například: while_stat : "while" "(" expr ")" stat ; if_stat : "if" "(" expr ")" stat ( "else" stat )? ; compound_stat : "{" ( stat )* "}" ; simple_stat : expr ";" ; empty_stat : ";" ; stat : while_stat | if_stat | compound_stat | simple_stat | empty_stat ;

gram_symbols

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:34:51+00:00

Množiny symbolů, kterými začínají jednotlivá syntaktická pravidla Když máme naleznena vypouštějící pravidla, můžeme hledat množiny terminálních symbolů, kterými začínají jednotlivá syntaktická pravidla. Tyto množiny vyuzijeme při rozhodování, kterou alternativou má pokračovat parser.

gram_view

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:01:05+00:00

Zobrazení množiny symbolů

gram

Anonymous (anonymous@undisclosed.example.com) — 2020-04-30T14:07:57+00:00

Gramatika popisující gramatiku Zápis gramatiky použitý v předchozí kapitole můžeme považovat za svého druhu programovací jazyk. K tomuto jazyku můžeme napsat gramatiku: Gramatika Celá gramatika je poslouplností pravidel grammar : ( rule )* ;

lexer

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:01:35+00:00

Lexikální analyzátor Program (v jazyce Python) čtoucí jednotlivé znaky zdrojového textu napsaného v jazyce C a vytvářející posloupnost lexikálních symbolů. Lexikálních symboly jsou identifikátory, celá čísla, desetinná čísla, řetězcové konstanty v jednoduchých nebo dvojitých uvozovkách a oddělovače.

mini_parser

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:01:58+00:00

Příklad syntaktického analyzátoru Příklad ručně psaného syntaktického analyzátoru, který rozpoznává jednoduché příkazy. Na místě výrazů dovoluje pouze identifikátory. Funkce openBranch, closeBranch a put zobrazují výsledky ve stromu.

mini_table

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:02:20+00:00

Příklad parseru pro popis databázových tabulek Příklad popisu tabulky table { name = "person"; column { name = "first_name"; type = "string"; } column { name = "last_name"; type = "string"; } } Náš parser bude ze vstupu číst popis tabulky.

parser_tree

Anonymous (anonymous@undisclosed.example.com) — 2025-03-16T14:02:53+00:00

Syntaktický analyzátor vytvářející syntaktický strom Vstupní gramatika s atributy Rozšíříme vstupní gramatiku o atributy popisující ukládání informací do syntaktického stromy. Před jménem neterminálu může být uvedeno jméno proměnné, do které bude uložen příslušný syntaktický podstrom.

parser

Anonymous (anonymous@undisclosed.example.com) — 2025-03-14T12:33:04+00:00

Syntaktický analyzátor (parser) rozpoznávající zadaný jazyk Programy pro generování syntaktických analyzátorů čtou ze vstupu popis gramatiky a vytvářejí zdrojový text parseru. Začneme syntaktických analyzátory, které pouze rozpoznávají daný jazyk.

pokus

Anonymous (anonymous@undisclosed.example.com) — 2022-02-28T16:23:11+00:00

def readIdent (self, lexer) : result = lexer.tokenText if not lexer.isIdentifier () : lexer.error ("Identifier expected") lexer.nextToken () return result def parseItem (self, lexer) : if lexer.isIdentifier () : result = lexer.tokenText lexer.nextToken () elif lexer.isNumber () : result = lexer.tokenText lexer.nextToken () elif lexer.isSeparator ('(') : lexer.checkSepara…

prekl

Anonymous (anonymous@undisclosed.example.com) — 2026-04-21T15:14:17+00:00

Literatura Niklaus Wirth: Compiler Construction Steven Pemberton and Martin Daniels: Pascal Implementation: The P4 Compiler and Interpreter Andrew W. Appel: Modern Compiler Implementation in C Příklady Příklady v Pythonu

product

Anonymous (anonymous@undisclosed.example.com) — 2020-05-06T15:47:53+00:00

Tisk programu uloženého v syntaktickém stromu Zdrojový text uložený v syntaktickém stromu vytiskne třída Product. Tuto třídu vytvoří generátor podobně jako třídu Parser. Nečte se zdrojový text ze vstupu, ale data se získávají z uzl; syntaktického stromu.

select

Anonymous (anonymous@undisclosed.example.com) — 2020-05-06T15:42:39+00:00

Selectn - dědičnost tříd Klíčové slovo select před typem pravidla. Pravidlo je tvořeno výběrem z několika jednoduchých alternativ, které mají výsledný typ odvozený z typu zmíněného pravidla. stat < select TStat > : while_stat | if_stat | compound_stat | simple_stat | empty_stat ;

stat

Anonymous (anonymous@undisclosed.example.com) — 2023-03-02T16:18:06+00:00

Gramatika popisující příkazy zjednodušeného jazyka C while_stat : "while" "(" expr ")" stat ; if_stat : "if" "(" expr ")" stat ( "elif" "(" expr")" stat )* ( "else" stat )? ; compound_stat : "{" ( stat )* "}" ; simple_stat : expr ";" ; empty_stat : ";" ; stat : while_stat | if_stat | compound_stat | simple_stat | empty_stat ; simple_expr : identifier | number | "(" expr ")" ; mult_expr : simple_expr ( ("*"|"/") simple_expr )* ; add_expr : mult_expr ( ("+"|"-") mult_exp…

syntax_tree

Anonymous (anonymous@undisclosed.example.com) — 2020-05-04T10:53:00+00:00

Syntaktické stromy