Similar to 正規言語

• 

  グルシコフ法

  Glushkov's construction algorithm
  
• 

  正規言語の反復補題

  Pumping lemma for regular languages
  
• 

  部分集合構成法

  Powerset construction
  
• 

  マイヒル–ネローデの定理

  Myhill–Nerode theorem
  
• 

  L-system

  L-system
  
• 

  Mizar

  Mizar system
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  ▼-1 trends

  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  有限オートマトン

  Finite-state machine
  
• 

  クローン–ローズの定理

  Krohn–Rhodes theory
  
• 

  決定性有限オートマトン

  Deterministic finite automaton
  
• 

  接尾辞オートマトン

  Suffix automaton
  
• 

  トライ (データ構造)

  Trie
  
• 

  非決定性有限オートマトン

  Nondeterministic finite automaton
  
• 

  ムーア・マシン

  Moore machine
  
• 

  数学

  Mathematics
  ▼-1 trends

  
• 

  0.999...

  0.999...
  ▼-4 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  ▼-1 trends