6 Commits

Author	SHA1	Message	Date
Artur Meski	76ab891786	Transition relation encoding	2018-03-26 21:37:43 +01:00
Artur Meski	32fdad662b	CtxAutTransition(s), renaming	2018-03-26 19:42:14 +01:00
Artur Meski	e3119099ea	Context automaton state encoding	2018-03-26 19:18:41 +01:00
Artur Meski	f55d433791	CA initial state	2018-03-04 15:32:16 +00:00
Artur Meski	18004b916e	CA input (done); initial state missing	2018-03-03 22:38:51 +00:00
Artur Meski	cf8c5df9ea	CA files	2018-03-03 21:55:43 +00:00