Title:
|
Regular expressions over generalized alphabet and design of logical nets (English) |
Title:
|
Regulární výrazy nad zobecněnou abecedou a syntéza logických sítí (Czech) |
Author:
|
Havel, Ivan M. |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
4 |
Issue:
|
6 |
Year:
|
1968 |
Pages:
|
(516)-537 |
Summary lang:
|
Czech |
. |
Category:
|
math |
. |
MSC:
|
94.50 |
idZBL:
|
Zbl 0169.31504 |
idMR:
|
MR0247956 |
. |
Date available:
|
2009-09-24T15:59:10Z |
Last updated:
|
2012-06-04 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125463 |
. |
Reference:
|
[1] D. N. Arden: Delayed Logic and Finite State Machines.In: Theory of Computing Machine Design, Univ. of Michigan Press, Ann Arbor 1960. |
Reference:
|
[2] J. A. Brzozowski: A. Survey of Regular Expressions and Their Applications.IRE Transactions EC-11 (1962), 324-335. Zbl 0129.26202, MR 0146026 |
Reference:
|
[3] J. A. Brzozowski: Derivatives of Regular Expressions.Journal of the ACM 11 (1964), 481-494. Zbl 0225.94044, MR 0174434 |
Reference:
|
[4] J. A. Brzozowski, Poage: On the Construction of Sequential machines from Regular Expressions.IEEE Transactions EC-12 (1963), 4, 402-403. |
Reference:
|
[5] I. Copi C. Elgot J. Wright: Realization of Events by Logical Nets.Journal of the ACM 5 (1958), 2, 181-196. MR 0129523 |
Reference:
|
[6] M. A. Гaвpилoв: Cинтeз тaблиц пepexoдoв мeтoдoм oбoбщeныx cocтoяний вxoдoв.Aвтомaтикa и тeлeмexaникa (1967), 1, 89-99. |
Reference:
|
[7] I. M. Havel: Jazyky zápisu o zadání konečných automatů.Thesis. Praha 1966. |
Reference:
|
[8] P. R. Low G. A. Maley: Flow Table Logic.Proceedings of the IRE 49 (1961), 221-228. MR 0122656 |
Reference:
|
[9] K. Šiler: Některé způsoby logického návrhu kontrolní jednotky číslicového počítače.VÚMS, Praha 1965. |
Reference:
|
[10] H. Yamada: Disjunctively Linear Logic Nets.IRE Transactions EC-11 (1962), 5, 623 - 639. MR 0154447 |
. |