No.1222
‘㐔“I”¼ŒQCŒ`Ž®Œ¾Œê‹y‚ÑŒvŽZ—˜_
Algebraic Semigroups, Formal Languages and Computation
Œ¤‹†W‰ï•ñW
@
2001/02/19`2001/02/21
¡‰ª ‹P’j
Teruo Imaoka
@
–ځ@ŽŸ
@
1. Some remarks on generalized inverse $\ast$-semigroups II (Algebraic Semigroups, Formal Languages and Computation)-----------------1
@@@@“‡ª‘åŠw‘‡—HŠw•”@@@¡‰ª ‹P’j@(Imaoka,Teruo)
@
2. ON ORDERED MONOID RINGS (Algebraic Semigroups, Formal Languages and Computation)--------------------------------------------------5
@@@@‰ªŽR‘åŠw—Šw•”@@@•½–ì N”V@(Hirano,Yasuyuki)
@
3. A Localization of a Semigroup Ring, II (Algebraic Semigroups, Formal Languages and Computation)----------------------------------11
@@@@ˆïé‘åŠw—Šw•”@@@¼“c —²‹P@(Matsuda,Ryuki)
@
4. The ideal transforms of semigroups (Algebraic Semigroups, Formal Languages and Computation)--------------------------------------18
@@@@ˆ¤’m‹³ˆç‘åŠw@@@‹àŒõ ŽO’j@(Kanemitsu,Mitsuo)
@
5. Some type of commutative artin algebras (Algebraic Semigroups, Formal Languages and Computation)---------------------------------24
@@@@ŽRŒû‘åŠw—Šw•”/ŽRŒû‘åŠw—Šw•”@@@‹e­ ŒM/‹g‘º _@(Kikumasa,Isao/Yoshimura,Hiroshi)
@
6. On structures of weak interlaced bilattices (Algebraic Semigroups, Formal Languages and Computation)-----------------------------34
@@@@“‡ª‘åŠw‘‡—HŠw•”@@@‹ß“¡ ’ʘN@(Kondo,Michiro)
@
7. Topics on finite and countable infinite BCK (Algebraic Semigroups, Formal Languages and Computation)-----------------------------40
@@@@_ŒË‘åŠw–¼—_‹³Žö@@@ˆäŠÖ ´Žu@(Iseki,Kiyoshi)
@
8. $CPN$ Languages and Codes (Algebraic Semigroups, Formal Languages and Computation)-----------------------------------------------46
@@@@‹ž“sŽY‹Æ‘åŠw—Šw•”/Ã‰ª—H‰È‘åŠw@@@ˆÉ“¡ ³”ü/‘Ž —Ǎs@(Ito,Masami/Kunimochi,Yoshiyuki)
@
9. Irreducibility in equal length for finite semigroups (Algebraic Semigroups, Formal Languages and Computation)--------------------50
@@@@/‹ž“sŽY‹Æ‘åŠw—Šw•”@@@/ˆÉ“¡ ³”ü@(Domosi,Pal/Ito,Masami)
@
10. Characterization of finite Automata by the Images and the Kernels of their Transition Functions (Algebraic Semigroups, Formal Languages and Computation)---53
@@@@‰ºŠÖ…ŽY‘åŠw–¼—_‹³Žö@@@Ö“¡ —§•F@(Saito,Tatsuhiko)
@
11. Weierstrass semigroups of a pair of points whose first non-gaps are three (Algebraic Semigroups, Formal Languages and Computation)---58
@@@@_“ސìH‰È‘åŠw@@@•Ä“c “ñ—ǁ@(Komeda,Jiryo)
@
12. Subgroup Membership Problem and Its Applications to Information Security (Algebraic Semigroups, Formal Languages and Computation)---64
@@@@’ʐM‘‡Œ¤‹†Š@@@ŽR‘º –¾O@(Yamamura,Akihiro)
@
13. Van Kampen Diagrams and E-unitary Coextensions (Algebraic Semigroups, Formal Languages and Computation)-------------------------74
@@@@’ʐM‘‡Œ¤‹†Š@@@ŽR‘º –¾O@(Yamamura,Akihiro)
@
14. Finite regular semigroups which are amalgamation bases for finite semigroups (Algebraic Semigroups, Formal Languages and Computation)---83
@@@@“‡ª‘åŠw‘‡—HŠw•”@@@¯Ži –MF@(Shoji,Kunitaka)
@
15. Finitely Generated Idempotent-free Semilattice-Indecomposable Semigroups with Relations I (Algebraic Semigroups, Formal Languages and Computation)---86
@@@@Department of Mathematics, University of California, Davis@@@“c‘º Fs@(Tamura,Takayuki)
@
16. On Some Trices (Algebraic Semigroups, Formal Languages and Computation)---------------------------------------------------------90
@@@@b“ì‘åŠw—Šw•”@@@–x“à ´Œõ@(Horiuchi,Kiyomitsu)
@
17. Linear Markov Properties and Undecidability (Algebraic Semigroups, Formal Languages and Computation)----------------------------98
@@@@“Œ–M‘åŠw—Šw•”/‹ž“sŽY‹Æ‘åŠw—Šw•”@@@¬—Ñ ‚䂤Ž¡/Ÿ—Ç ¹Ži@(Kobayashi,Yuji/Katsura,Masashi)
@
18. Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)---105
@@@@“‡ª‘åŠw‘‡—HŠw•”/’}”g‘åŠw“dŽqEî•ñHŠwŒn@@@“¡“c Œ›‰x@(Fujita,Ken-Etsu/Middeldorp,Aart)
@
19. The measure of an omega regular language is rational (Algebraic Semigroups, Formal Languages and Computation)------------------114
@@@@‹ž“s‘åŠwî•ñŠwŒ¤‹†‰È@@@’|“à ò@(Takeuti,Izumi)
@
20. An Automaton for Deciding Whether a Given Set of Words is a Code. (Algebraic Semigroups, Formal Languages and Computation)-----123
@@@@“V—‘åŠw‹³—{•”@@@’Ò ‰À‘ãŽq@(Tsuji,Kayoko)
@
21. Pathway Graph Models for Molecular Computing in situ (Algebraic Semigroups, Formal Languages and Computation)------------------128
@@@@‘Û“d‹C’ʐMŠî‘b‹ZpŒ¤‹†Š/‘Û“d‹C’ʐMŠî‘b‹ZpŒ¤‹†Š@@@/‰ºŒ´ ŸŒ›@(Liu,Jian-Qin/Shimohara,Katsunori)
@
22. A bracket representation of the monoid of links (Algebraic Semigroups, Formal Languages and Computation)-----------------------138
@@@@“Œ–M‘åŠw—Šw•”/“Œ–M‘åŠw—Šw•”/“Œ–M‘åŠw—Šw•”@@@•ÐŠC ’¼Ž÷/ˆî“c —E/¬—Ñ ‚䂤Ž¡@(Kataumi,Naoki/Inata,Isamu/Kobayashi,Yuji)
@
23. ALGORITHMS VERIFYING LOCAL THRESHOLD AND PIECEWISE TESTABILITY OF SEMIGROUP AND SOLVING ALMEIDA PROBLEM (Algebraic Semigroups, Formal Languages and Computation)---145
@@@@Department of Math. and CS, Bar-Ilan University@@@Trahtman,A.N.
@
24. No trade theorem in an S-4 logic model (Algebraic Semigroups, Formal Languages and Computation)--------------------------------152
@@@@Œcœä‹`m‘åŠwŒoÏŠwŒ¤‹†‰È@@@•½£ ˜aŠî@(Hirase,Kazuki)
@
25. AWARENESS, BELIEF AND COMMUNICATION REACHING CONSENSUS (Algebraic Semigroups, Formal Languages and Computation)----------------160
@@@@“Œ‹žH‹Æ‘åŠwŽÐ‰ï—HŠwŒ¤‹†‰È/ˆïéH‹Æ‚“™ê–åŠwZ/ˆïéH‹Æ‚“™ê–åŠwZ@@@•Ÿ“c Œb”üŽq/¼‹v —²/ùÀ Žõl@(Fukuda,Emiko/Matsuhisa,Takashi/Sasanuma,Hisato)
@
26. CONSENSUS ON $p$-BELIEF COMMUNICATION (Algebraic Semigroups, Formal Languages and Computation)---------------------------------170
@@@@ˆê‹´‘åŠwŒoÏŠwŒ¤‹†‰È/ˆïéH‹Æ‚“™ê–åŠwZ/ˆïé‘åŠw—Šw•”@@@Îì —³ˆê˜Y/¼‹v —²/Ôì —m‰î@(Ishikawa,Ryuichiro/Matsuhisa,Takashi/Akagawa,Yoh-suke)
@
27. On Linear Arrangement Problems on Multidimensional Torus Graphs (Algebraic Semigroups, Formal Languages and Computation)-------178
@@@@‰ªŽR‘åŠwHŠw•”/‰ªŽR‘åŠwHŠw•”/‰ªŽR‘åŠwHŠw•”@@@_•Û GŽi/‹´Œû UŽO˜Y/•“¡ m”V@(Jimbo,Shuji/Hashiguchi,Kosaburo/Muto,Hitoshi)
@