Similar to 形式言語
二人の将軍問題
Two Generals' Problem
不動点コンビネータ
Fixed-point combinator
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough setラムダ計算
Lambda calculus
論理プログラミング
Logic programming
構文解析
Parsing
構文解析器
Parser
KDOM
KHTML#Other modules
Simple API for XML
Simple API for XML
逆コンパイラ
Decompiler
グロブ
Glob (programming)
構文木
Parse tree
コンパイラ
Compiler
先読み
Lookahead字句解析
Lexical analysis
日本語プログラミング言語
バイナリ・リコンパイラ
Binary recompiler
パターンマッチング
Pattern matching
バッカス・ナウア記法
Backus–Naur form