Automata theory based on quantum logic. (I)

Ying, M

Automata theory based on quantum logic. (I)

Ying, M

Permalink

Publication Type:: Journal Article
Citation:: International Journal of Theoretical Physics, 2000, 39 (4), pp. 985 - 995
Issue Date:: 2000-01-01

Closed Access

	Filename	Description	Size
	2008004760OK.pdf		99.68 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2000-01-01	en_US
dc.identifier.citation	International Journal of Theoretical Physics, 2000, 39 (4), pp. 985 - 995	en_US
dc.identifier.issn	0020-7748	en_US
dc.identifier.uri	http://hdl.handle.net/10453/9068
dc.description.abstract	We present a basic framework of automata theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.	en_US
dc.relation.ispartof	International Journal of Theoretical Physics	en_US
dc.relation.isbasedon	10.1023/A:1003642222321	en_US
dc.subject.classification	Nuclear & Particles Physics	en_US
dc.title	Automata theory based on quantum logic. (I)	en_US
dc.type	Journal Article
utslib.citation.volume	4	en_US
utslib.citation.volume	39	en_US
utslib.for	080199 Artificial Intelligence and Image Processing not elsewhere classified	en_US
utslib.for	080203 Computational Logic and Formal Languages	en_US
utslib.for	020603 Quantum Information, Computation and Communication	en_US
utslib.for	01 Mathematical Sciences	en_US
utslib.for	02 Physical Sciences	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access
pubs.issue	4	en_US
pubs.publication-status	Published	en_US
pubs.volume	39	en_US

Abstract:

We present a basic framework of automata theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/9068