id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
fuelectenerg-4355	Lukac, Martin; Kameyama, Michitaka; Perkowski, Marek; Kerntopf, Pawel	USING HOMING, SYNCHRONIZING AND DISTINGUISHING INPUT SEQUENCES FOR THE ANALYSIS OF REVERSIBLE FINITE STATE MACHINES	2019	22	.pdf	application/pdf	12722	686	66	This is only possible (a) if two states lead to a same successor state in which case it is not an RFSM, (b) if vxa = vxb for different state sequences sa and sb and for any input sequence x in such case the CRFSM is not properly reduced as it will contain redundant states. The uncertainty of input sequence can be complemented by the amount of in- formation computed from various states present in the block.	cache/fuelectenerg-4355.pdf	txt/fuelectenerg-4355.txt