id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ap-808	Bokr, J.; Jáneš, V.	State of a Logical Object	2006	6	.pdf	application/pdf	4940	170	66	Thus, if Z is a fault alphabet (the alphabet of explicit measurable faults), then for the tran- sition function �e of a semiautomaton X Z S e� , , � with a fault input, there holds � � � � � � � � �� e S X Z S s x z s: : , ,{ } { } { } { }� � � �1 � Example 3: Assume that a fault alphabet {z1, z2, z3} of the au- tomaton from Example 2 is given such that, e.g., the Table 2 holds. The response y� is a value of the output function: � � � � � � �: : ,{ } { } { }[ ] [ ]H X Y h x y� � � of an output block O of the object, where h� is the instanta- neous input prehistory.	cache/ap-808.pdf	txt/ap-808.txt