Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF QINGDAO UNIVERSITY(NATVRAL SCIENCE)》 2000-01
Add to Favorite Get Latest Update

AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION

WANG Xian-dong  
This paper describes automata according to their algebraic specification model. The concept of an automaton is defined as an algebra of its algebraic specification. The definition of recognizable languages for such an algebra is also given, and some equivalent conditions are provided.
【CateGory Index】: O154
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 Luo Guangchun Li Jiong (Information Center, UEST of China Chengdu 610054);Realization of BBS Scrutiny System Using Formal Language and Auto Machine[J];Journal of University of Electronic Science and Technology of China;2002-03
2 Ding Chunxin(Qiqihar University);Minimization of Finite Automation[J];JOURNAL OF SCIENCE OF TEACHERS COLLEGE AND UNIVERSITY;2000-03
3 GUO Yan hua 1,ZhOU Chang le 2 (1.The School of Informatics engineering of Hangzhou Institute of Electronic Engineering Zhejiang, 3100372.Department of computer of computer of Zhejiang University Zhejiang,310037);The Summary of Natural Language Understanding[J];JOURNAL OF HANGZHOU INSTITUTE OF ELECTRONIC ENGINEERING;2000-01
4 GUO Yan hua 1,ZHOU Chang le 2 (1. The School of Informatics Engineering of Hangzhou Institute of Electronic Engineering, Zhejiang,310037; 2. Department of Computer of Zhejiang University,Hangzhou Zhejiang,310027);A Study of the Dynamic Generative Methods For Dependency Relation Network of Chinese Sentences[J];JOURNAL OF HANGZHOU INSTITUTE OF ELECTRONIC ENGINEERING;2000-04
5 GUO Yan hua 1, ZHOU Chang le 2(1. Department of Computer, Hangzhou Institute of Electronic Engineering, Hangzhou 310012, China; 2. Department of Computer, Zhejiang University, Hangzhou 310027, China);A study of the parsing strategy and the generative algorithm for dependency relation network of Chinese sentences.[J];Journal of Zhejiang University(Sciences Edition);2000-06
6 Li Zhonghua Li Yuqian East-China Normal University,Shanghai,200062;Algebraic Specification of Abstract Data Types[J];Journal of Computer Research and Development;1991-07
7 Zhang Wenjun Miao Dong Fu Guangyuan Yang Xiaogang(303Branch,Second Arti llery Engineering Institute,Xi'an710025);Design and Implementation of Command Analyzer of Embedded Master-slave Pa rallel Processing System[J];Computer Engineering and Applications;2003-02
8 ZHANG Ji-Jun1,2 WU Zhe-Hui2 (Shandong Agricultural University, Tai’an 2710181 (Shandong University of Science and Technology, Qing’dao 2665102;Commutative Context-Free Grammar[J];Computer Science;2007-07
9 Su Lan (Dept.of Applied Math.UEST,Chengdu,610054) Mo Zhiwen (Sichuan Normal University,Chengdu, 610066));Max Product Fuzzy Grammars and Automata[J];Fuzzy Systems and Mathematics;1997-04
10 Peng Jia yin (Department of Mathematics, Neijiang Teachers College, Neijiang,Sichuan 641112,China);Closure of the Operation of Max-Product Fuzzy Automation Languages[J];Journal of Neijiang Teachers College;2003-02
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Zhou Deyu;TRANSFORMATION SEMIGROUP OF THE FINITE AUTOMATA AND ITS RECOGNIZATION INFORMATION[J];Journal of Chongqing University(Natural Science Edition);1989-01
2 Ding Chunxin(Qiqihar University);Minimization of Finite Automation[J];JOURNAL OF SCIENCE OF TEACHERS COLLEGE AND UNIVERSITY;2000-03
3 Yang Li (Institute of Software, Academia Sinica, Beijing, 100080);On the Algebraic Model of Object-Oriented Database Systems[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1994-01
4 Ni Nan; Wu Qiaoquan; and Zhang Defu(Dept. of Computer Science, Nanjing University, 210008);^Paradigm of Distributed and Parallel Programming[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1994-02
5 Li Jing (University of Science and Technology of China, Hefty 230027) Ni Bin and Feng Yulin (Institute of Software, Chinese Academy of Sciences, Beijing 100080);THE DESIGN AND IMPLEMENTATION OF AN OBJECT SEMANTICS CONSTRAINT CHECKER[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1996-08
6 Wang Shichang (Department of Mathematics and information Science, Yantai University, Yantai 264005);AN AUTOMATIC IMPLEMENTATION METHOD OF ANALYZING AND SYNTHESIZING THE μ-FNN BASED ON AUTOMATA[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1996-09
7 Guan Jiwen and Xu Ying (Department of Computer Science, Jilin University);AN ALGORITHM OF LINEAR REALIZATION OF FINITE AUTOMATA[J];Journal of Jilin University;1985-01
8 GUAN JI-WEN (Jilin University);ON THE ODD-EVEN PROPERTY OF THE LINEAR AUTOMATA[J];Chinese Journal of Computers;1981-06
9 ZHOU GUANG-FU(The Teachers' College of Shandong);AN ALGORITHM FOR FINDING HOMOMORPHISMS OF FINITE AUTOMATA[J];Chinese Journal of Computers;1982-02
10 Tao Renji Chen Shihua (Institute of Software, Academia Sinica);A FINITE AUTOMATON PUBLIC KEY CRYPTOSYSTEM AND DIGITAL SIGNATURES[J];Chinese Journal of Computers;1985-06
【Secondary References】
Chinese Journal Full-text Database 1 Hits
1 ZHU Yunfei, LUO Zhukai (College of Information Engineering,Xiangtan University, Xiangtan 411105 China);Some Results on Equivalence Class of Autonomous Affine Automata[J];Natural Science Journal of Xiangtan University;2003-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved