Comments on "Checking Experiments for Sequential Machines"

Y. Wakimura; N. Yoshida

doi:10.1109/T-C.1975.224150

Publication
1975
Issue No. 11 - November
Abstract - Comments on "Checking Experiments for Sequential Machines"

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Y. Wakimura Articles by N. Yoshida

Comments on "Checking Experiments for Sequential Machines" (PDF)

November 1975 (vol. 24 no. 11)

pp. 1141-1142

	ASCII Text	x
	Y. Wakimura, N. Yoshida, "Comments on "Checking Experiments for Sequential Machines"," IEEE Transactions on Computers, vol. 24, no. 11, pp. 1141-1142, November, 1975.

	BibTex	x
	@article{ 10.1109/T-C.1975.224150, author = {Y. Wakimura and N. Yoshida}, title = {Comments on "Checking Experiments for Sequential Machines"}, journal ={IEEE Transactions on Computers}, volume = {24}, number = {11}, issn = {0018-9340}, year = {1975}, pages = {1141-1142}, doi = {http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224150}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - JOUR JO - IEEE Transactions on Computers TI - Comments on "Checking Experiments for Sequential Machines" IS - 11 SN - 0018-9340 SP1141 EP1142 EPD - 1141-1142 A1 - Y. Wakimura, A1 - N. Yoshida, PY - 1975 KW - Checking experiment KW - distinguishing sequence KW - fault checling KW - resolving sequence KW - sequential machine. VL - 24 JA - IEEE Transactions on Computers ER -

Y. Wakimura, Department of Electronlics, Hiroshima University

N. Yoshida

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224150

This correspondence comments on the statement, described in the above-mentioned paper,1 which follows after a few definitions characterizing input-output sequences for the design of checking experiments. Namely, a counterexample will be shown for one of the two statements. Furthermore, three generalized properties useful to demonstrate the above counterexample are presented.

Index Terms:

Checking experiment, distinguishing sequence, fault checling, resolving sequence, sequential machine.

Citation:

Y. Wakimura, N. Yoshida, "Comments on "Checking Experiments for Sequential Machines"," IEEE Transactions on Computers, vol. 24, no. 11, pp. 1141-1142, Nov. 1975, doi:10.1109/T-C.1975.224150

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.