PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
λ | IN | Init | D1 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN | O | Chooser | 1 | ||
IN | N | ChooserX | 2 | ||
IN | S | ChooserX | IN O | 3 | |
IN | V | Illegal | D1 | ||
IN | R | Illegal | D1 | ||
IN | E | Illegal | D1 | ||
IN | X | Exit | λ | 8 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O | FA | Open | D3 | ||
IN O | FR | IN | D4 | ||
IN N | FS | Empty | IN O FA | D3 | |
IN N | FR | IN | D2 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O FA | OK | Data Title Enable | D1 D4 | ||
IN O FA | ER | Warn | IN | D5 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O FA OK | O | Chooser | 1 | ||
IN O FA OK | N | ChooserX | 2 | ||
IN O FA OK | S | IN O FA OK | 3 | ||
IN O FA OK | V | IN O FA OK | 6 D1 | ||
IN O FA OK | R | ChooserX | 9 D1 | ||
IN O FA OK | E | 7 D1 | |||
IN O FA OK | X | Exit | λ | 8 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O FA OK O | FA | Open | 1, D3 | ||
IN O FA OK O | FR | IN O FA OK | D2 | ||
IN O FA OK N | FS | Empty | 2, D3 | ||
IN O FA OK N | FR | IN O FA OK | D2 | ||
IN O FA OK R | FS | Rename | 9, D3 | ||
IN O FA OK R | FR | IN O FA OK | D2 | ||
IN O FA OK E | O | Save | 7 | ||
IN O FA OK E | N | Save | 7 | ||
IN O FA OK E | S | Save | 7 | ||
IN O FA OK E | V | Open | 6 | ||
IN O FA OK E | R | Save | 7 | ||
IN O FA OK E | E | IN O FA OK E | 7, D1 | ||
IN O FA OK E | X | Save | 7 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O FA OK O FS | OK | Data, Title | IN O FA OK | 1, D4 | |
IN O FA OK O FS | ER | Warn | IN O FA OK | D5 | |
IN O FA OK N FS | OK | Clear, Title | IN O FA OK | 2, D4 | |
IN O FA OK N FS | ER | Warn | IN O FA OK | D5 | |
IN O FA OK R FS | OK | Title | IN O FA OK | D4 | |
IN O FA OK R FS | ER | Warn | IN O FA OK | D5 | |
IN O FA OK E O | OK | Chooser | IN O FA OK O | 1 | |
IN O FA OK E O | ER | Query | D6 | ||
IN O FA OK E N | OK | ChooserX | IN O FA OK N | 2 | |
IN O FA OK E N | ER | Query | D6 | ||
IN O FA OK E S | OK | IN O FA OK | 3 | ||
IN O FA OK E S | ER | Warn | IN O FA OK E | D5 | |
IN O FA OK E V | OK | Data | IN O FA OK | 6 | |
IN O FA OK E V | ER | Warn | IN O FA OK E | D5 | |
IN O FA OK E R | OK | Chooser | IN O FA OK R | 9 | |
IN O FA OK E R | ER | Query | D6 | ||
IN O FA OK E X | OK | Exit | λ | 8 | |
IN O FA OK E X | ER | Query | D6 |
PREFIX | STIMULUS | RESPONSE | EQUIVALENCE | TRACE | NOTES |
IN O FA OK E O ER | QY | Chooser | IN O FA OK O | 1, D6 | |
IN O FA OK E O ER | QN | IN O FA OK E | D6 | ||
IN O FA OK E N ER | QY | ChooserX | IN O FA OK N | 2, D6 | |
IN O FA OK E N ER | QN | IN O FA OK E | D6 | ||
IN O FA OK E R ER | QY | ChooserX | IN O FA OK R | 9, D6 | |
IN O FA OK E R ER | QN | IN O FA OK E | D6 | ||
IN O FA OK E X ER | QY | Exit | λ | 8, D6 | |
IN O FA OK E X ER | QN | IN O FA OK E | D6 |
¤ Phone: (615) 292-6496 ¤ Fax: (615) 386-9243 ¤ info@elucidsoft.net ¤ |