Вклад участника
22 января 2013
Эквивалентность состояний ДКА
Пример
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Пример
Файл:DkaMin.png
digraph finite_state_machine_11 { rankdir=LR; node [shape = doublecircle label = "F,G"] 5; node [shape = circle label = "A,B"] 1; node [shape = circle label = "H"] 2; node [shape = circle label = "C,D"] 3; node [s
Файл:Dka.png
digraph finite_state_machine_10 { rankdir=LR; node [shape = doublecircle]; F G; node [shape = circle]; A -> B [ label = "1" ]; A -> H [ label = "0" ]; B -> A [ label = "1" ]; B -> H [ label = "0" ];
Файл:Avtomat3.png
загружена новая версия «Файл:Avtomat3.png»: digraph finite_state_machine_9 { rankdir=LR; node [shape = doublecircle label = ""]; 2 3; node [shape = circle label = ""] 1; 1 -> 2 [ label = "0
Файл:Avtomat2.png
загружена новая версия «Файл:Avtomat2.png»: digraph finite_state_machine_8 { rankdir=LR; node [shape = doublecircle label = ""]; 2; node [shape = circle label = ""] 1; 1 -> 2 [ label = "0,1
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Пример
Файл:NKA definition.png
загружена новая версия «Файл:NKA definition.png»: digraph finite_state_machine_6 { rankdir=LR; node [shape = doublecircle label = "1,2"] 3; node [shape = doublecircle label = "2" ] 2; node [sha
Файл:NKA algorithm.png
загружена новая версия «Файл:NKA algorithm.png»: digraph finite_state_machine_7 { rankdir=LR; node [shape = doublecircle label = "1,2"]; 2; node [shape = circle label=1]; 1; 1 -> 1 [ label = "
Файл:DKA.png
загружена новая версия «Файл:DKA.png»: digraph finite_state_machine_5 { rankdir=LR; node [shape = doublecircle]; 2; node [shape = circle]; {rank=source; null} 1 -> 1 [ label = "a,b" constr
Недетерминированные конечные автоматы
Пример
+19
Файл:Finite state machine 4.png
digraph finite_state_machine_4 { rankdir=LR; node [shape = doublecircle label = ""]; LR_4; node [shape = circle label = ""]; LR_0 -> LR_0 [ label = "0,1" ]; LR_0 -> LR_1 [ label = "0" ]; LR_1 -> LR_2 [ label
Детерминированные конечные автоматы
Примеры
+66
Файл:Finite state machine 2.png
digraph finite_state_machine_2 { rankdir=LR; node [shape = doublecircle label = ""]; LR_1 LR_2; node [shape = circle fillcolor = lightgrey label = ""] LR_3; node [shape = circle label = ""] LR_0; {rank=same; "LR_1" "LR_2
Файл:Finite state machine 1.png
загружена новая версия «Файл:Finite state machine 1.png»: digraph finite_state_machine_1 { rankdir=LR; node [shape = doublecircle label=""]; LR_1 LR_2; node [shape = circle label=""] LR_0; {rank=sa
Файл:Finite state machine 1.png
digraph finite_state_machine_1 { rankdir=LR; node [shape = doublecircle label=""]; LR_1 LR_2; node [shape = circle label=""] LR_0; {rank=same; "LR_1" "LR_2"} LR_0 -> LR_1 [ label = "a" ]; LR_0 -> LR_2 [ label =
11 декабря 2012
30 июня 2011
Файл:Zigzig.PNG
загружена новая версия «Файл:Zigzig.PNG»
Файл:Zigzag.PNG
загружена новая версия «Файл:Zigzag.PNG»
28 мая 2011
27 апреля 2011
Splay-дерево
Нет описания правки
+51
Файл:Zigzag.PNG
zig-zag - rotate
Splay-дерево
Нет описания правки
+51
Файл:Zigzig.PNG
zigzig - rotate
