• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

半群,形式言語及び計算理論の研究

研究課題

研究課題/領域番号 09440017
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 代数学
研究機関島根大学

研究代表者

今岡 輝男  島根大学, 総合理工学部, 教授 (60032603)

研究分担者 伊藤 正美  京都産業大学, 理学部, 教授 (50065843)
近藤 通朗  島根大学, 総合理工学部, 助教授 (40211916)
庄司 邦孝  島根大学, 総合理工学部, 教授 (50093646)
小林 ゆう治 (小林 〓冶)  東邦大学, 理学部, 教授 (70035343)
勝良 昌司  京都産業大学, 理学部, 教授 (80065870)
NEHANIV C.  会津大学, コンピュータ理工学部, 教授 (10254054)
研究期間 (年度) 1997 – 1999
研究課題ステータス 完了 (1999年度)
配分額 *注記
5,900千円 (直接経費: 5,900千円)
1999年度: 1,200千円 (直接経費: 1,200千円)
1998年度: 1,700千円 (直接経費: 1,700千円)
1997年度: 3,000千円 (直接経費: 3,000千円)
キーワード半群 / 表現 / 融合 / 形式言語 / 書き換えシステム / 自由モノイド / オートマタ / 計算理論 / semigroup / representation / amalgamation / formal language / rewriting system / free monoid / automata / computation
研究概要

本研究の主な研究成果は次の通りである.
(1) 一般化された逆[*-]半群の族が強融合性を持つことを一般化された逆*半群の表現を導入して証明した.
(2) 一般化された逆*半群のtransitive表現をright w-setを用いて特徴付けた.
(3) 完全0-単純半群がspecial amalgamation baseを持つための必要十分条件を求めた.
(4)有限半群がrepresentation extension propertyを持つかどうかという問題は決定可能である.
(5) 形式言語上のシャッフル及び挿入削除演算について種々の性質を求めた.特に,言語の混合削除剰余演算を定義し,極大混合剰余閉包の存在条件を求めた.
(6) 逆読み演算,積演算,シャッフル積演算等が入った形式言語をモデルにした種々のvarietyにおける自由代数の公理化を行った.

報告書

(4件)
  • 1999 実績報告書   研究成果報告書概要
  • 1998 実績報告書
  • 1997 実績報告書
  • 研究成果

    (145件)

すべて その他

すべて 文献書誌 (145件)

  • [文献書誌] M. Katsura: "Constructing finitely presented monoids which have no finite complete presentation"Semigroup Forum. 54. 292-302 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka: "Representations of locally inverse *-semigroups II"Semigroup Forum. 55. 247-255 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka: "Some remarks on representations of generalized inverse *-semigroups"Mem. Fac. Sci. Eng. Shimane Univ.. 30. 23-35 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] B. Imreh: "On α_i-product of nondeterministic automata"Algebra Colloquium. 4. 195-202 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] F.L. Tiprea: "Processes and vectorial characterizations of parallel communicating grammar systems"Languages and Combinatorics. 2. 47-73 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "Insertion and deletion of languages"Theoret. Comp. Sci. 183. 3-19 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K.S. Tsuji: "On termination of confluent one-rule string-rewriting systems"Inform. Proc. Letters. 61. 91-96 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Kondo: "Conditions for L(X) to be an ideal in BCI-algebras"Math. Japonica. 46. 237-239 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] H. Marubayashi: "Idealizers of semi-hereditary V-orders"Math. Japonica. 45. 51-56 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Y. Kobayashi: "Homotopy reduction systems for monoid presentations asphericity and low-dimensional homology"J. Pure and Applied Algebra. 130. 159-195 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] F. Otto: "Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids"J. Symbolic Computation. 26. 621-648 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P. Higgins: "On special amalgamation bases"Semigroups and Application, edited by J.M. Howie, World Scientific. 87-96 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "Remarks on deletions, scattered deletions and related on languages"Semigroups and Application, edited by J.M. Howie, World Scientific. 97-105 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P. Domosi: "Characterization of languages by length of their subwords"Semigroups, edited by K.P. Shum et al, Springer, Singapore. 117-129 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.E. Hall: "Representations and amalgamation of generalized inverse *-semigroups"Semigroup Forum. 58. 126-141 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L. Nehaniv: "Algebra for understanding"Algebraic Engineering, edited by C.L. Nehaniv and M. Ito, World Scientific. 1-16 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P. Domosi: "On complete systems for automata"Algebraic Engineering, edited by C.L. Nehaniv and M. Ito, World Scientific. 260-261 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] V. Diekert: "Some identities related to automata, determinants and Mobius functions"Algebraic Engineering, edited by C.L. Nehaniv and M. Ito, World Scientific. 330-349 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "Shuffle products and related operations of languages"Algebraic Engineering, edited by C.L. Nehaniv and M. Ito, World Scientific. 484-493 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Z. Esik: "The equational properties of reversal"Algebraic Engineering, edited by C.L. Nehaniv and M. Ito, World Scientific. 502-521 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "A note on star-products"Acta Cybernetica. 14. 99-104 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "On some special classes of regular languages"Jewels and Forever, edited by J. Karhumaki et al, Springer, New York. 25-34 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Kondo: "Hilert algebras are dual isomorphic to positive implication BCK-algebras"Math. Japonica. 49. 265-268 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Kondo: "Annihilators in BCK-algebras"Math. Japonica. 49. 407-268 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka: "Representations of generalized inverse *-semigroups by right ω-cosets"Math. Japonica. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K. Shoji: "Decidability of the representation extension property for finite semigroups"Proc. Amer. Math. Soc.. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "On replacement of Petori nets and some applications"Acta Informatica. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito: "Shuffle and scattered deletion closure of languages"Theoret. Comput. Sci.. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Y. Kobayashi: "Repetitiveness of languages generated by morphisms"Theoret. Comput. Sci.. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka (編著): "Proceedings of the Workshop on Languages, Computation and Algebra"89 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka (編著): "Proceedings of the 1st Symposium on Algebra, Languages and Computation"99 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K.P. Shum (編著): "Semigroups"Springer. 370 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L. Nehaniv (編著): "Algebraic Engineering"World Scientific, Singapore. 554 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka (編著): "Proceedings of the 2nd Symposium on Algebra, Languages and Computation"71 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T. Imaoka (編著): "Proceedings of the 3rd Symposium on Algebra, Languages and Computation"71 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L. Nehaniv (編著): "Special Issue of Theoretical Computer Science"Elseviers, Amsterdam (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito (編著): "Words, Languages and Combinatorics III"World Scientific, Singapore (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Katsura and Y.Kobayashi: "Constructing finitely presented monoids which have no finite complete presentation"Semigroup Forum. 54. 292-302 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka and M.Katsura: "Representations of locally inverse *-semigroups II"Semigroup Forum. 55. 247-255 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka and T.Ogawa: "Some remarks on representations of generalized inverse *-semigroups"Mem. Fac. Sci. Eng. Shimane Univ.. 30. 23-35 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] B.Imreh and M.Ito: "On αィイD2iィエD2-product of nondeterministic automata"Algebra Colloquium. 4. 195-202 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] F.L.Tiprea, M.Katsura and M.Ito: "Processes and vectorial characterizations of parallel communicating gramer systems"J. Automata, Languages and Combinatorics. 2. 47-73 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M. Ito, L.Kari and G.Thierrin: "Insertion and deletion of languages"Theoret. Comp. Sci.. 183. 3-19 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K.Shikishima-Tsuji, M.Katsura and Y.Kobayashi: "On termination of confluent one-rule string-rewriting systems"Inform. Proc. Letters. 61. 91-96 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Kondo: "Conditions for L(X) to be an ideal in BCI-algebras"Math. Japonica. 46. 237-239 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] H.Marubayashi and A.Ueda: "Idealizers of semi-hereditary V-orders"Math. Japonica. 45. 51-56 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Y.Kobayashi: "Homotopy reduction systems for monoid presentations asphericity and low-dimensional homology"J. Pure and Applied Algebra. 130. 159-195 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] F.Otto, M.Katsura and Y.Kobayashi: "Infinite convergent string-rewriting-systems and cross-sections for finitely presented monoids"J. Symbolic Computation. 26. 621-648 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P.Higgins and K.Shoji: "On special amalgamation bases"Semigroups and Application, edited by J. M. Howie and N. Ruskuc, World Scientific, Singapore. 87-96 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito and P.V.Silva: "Remarks on deletions, scattered deletions and related operations on languages"Aemigroups and Application, edited by J. M. Howie and N. Ruskuc, World Scientific, Singapore. 97-105 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P.Domosi and M.Ito: "Characterization of languages by length of their subwords"Semigroups, edited by K. P. Shum, M. Ito et al, Springer, Singapore. 117-129 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.E.Hall and T.Imaoka: "Representations and amalgamation of generalized inverse *-semigroups"Semigroup Forum. 58. 126-141 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L.Nehaniv: "Algebra for understanding, Algebraic Engineering"edited by C. L. Nehaniv and M. Ito, World Scientific, Singapore. 1-16 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] P.Domosi and C.L.Nehaniv: "On complete systems of automata"Algebraic Engineering, edited by C. L. Nehaniv and M. Ito, World Scientific, Singapore. 260-261 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] V.Diekert and Y.Kobayashi: "Some identities related to automata, determinants and Mobius functions"Algebraic Engineering, edited by C. L. Nehaniv and M. Ito, World Scientific, Singapore. 330-349 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito: "Shuffle products and related operations on languages"Algebraic Engineering, edited by C. L. Nehaniv and M. Ito, World Scientific, Singapore. 484-493 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Z.Esik, M.Ito and M.Katsura: "The equational properties of reversal"Algebraic Engineering, edited by C. L. Nehaniv and M. Ito, World Scientific, Singapore. 502-521 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito and B.Imreh: "A note on star-product"Acta Cybernetica. 14. 99-104 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito and B.Imreh: "On some special classes of regular languages"Jewels and Forever, edited by J. Karhumaki, H. Maurer, G. Paun and G. Rozenberg, Springer, New York. 25-34 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Kondo: "Hilbert algebra are dual isomorphic to positive implicative BCK-algebras"Math. Japonica. 49. 265-268 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Kondo: "Annihilators in BCK-algebras"Math. Japonica. 49. 407-410 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka and I.Inata: "Representations of generalized inverse *-semigroups by right ωcosets"Math. Japonica. 'to appear).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K.Shoji: "Decidability of the representation extension property for finite semigroups"Proc. Amer. Math. Soc.. (to appear).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito, M.Katsura and F.L.Tiplea: "On replacement of Petri nets and some applications"Acta Informatica. (to appear).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito, L.Kari and G.Thierrin: "Shuffle and scattered deletion closure of languages"Theoret. Comput.. Sci.. ((to appear)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Y.Kobayashi and F.Otto: "Repetitiveness of languages generated by morphisms"Theoret. Comp. Sci.. (to appear).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka: "Proceedings of the Workshop on Languages, Computation and Algebra"held at Kobe University from August 27 to 28, 1997. 89 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka and C.L.Nehaniv: "Proceedings of the 1st Symposium on Algebra, Languages and Computation"held at Aizu University from October 30 to November 1, 1997. 99 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] K.P.Shum, Y.Q.Guo, Y.Fong and M.Ito: "Semigroups"Monograph Series, Springer, Singapore. 370 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L.Nehaniv and M.Ito: "Algebraic Engineering"World Scientific, Singapore. 554 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka: "Proceedings of the 2nd Symposium on Algebra, Languages and Computation"held at Osaka University from August 3 to 5, 1998. 71 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka: "Proceedings of the 3rd Symposium on Algebra, Languages and Computation"held at Osaka University from August 3 to 4 , 1999. 71 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] C.L.Nehaniv and M.Ito: "Special Issue of Theoretical Computer Science"Elseviers, Amsterdam (to appear).

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] M.Ito and T.Imaoka: "The proceedings of the 3rd International Colloquium on Words, Languages and Combinatorics, held at Kyoto Sangyo University from March 14 to 18, 2000, World Scientific, Singapore (to appear)"Words, Languages and Combinatorics III.

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] T.Imaoka and I.Inata: "Representations of generalized inverse *-semigroups by right ω-cosets"Math.Japonica. (to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] K.Shoji: "Decidability of the representation extension property for finite semigroups"Proc.Amer.Math.Soc.. (to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Kondo: "On (*)-ideals in BCK-algebras"Math.Japonica. 50. 201-205 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Ito and B.Imreh: "A note on star-product"Acta Cybernetica. 14. 99-104 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Ito,M.Katsura and F.L.Tiplea: "On replacement of Petri nets and some applications"Acta Informatica. (to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Y.Kobayashi and F.Otto: "Repetitiveness of languages generated by morphisms"Theoret.Comp.Sci.. (to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T.E.Hall and T.Imaoka: "Representations and amalgamation of generalized inverse*-semigroups"Semigroup Forum. 58. 126-141 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] V.Diekert and Y.Kobayashi: "Some identities related to automata,determinants and Mobius functions"Algebraic Engineering(edied by C.Nehaniv and M.Ito),Springer. 330-349 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Ito: "Shuffle products and related operations on languages"Algebraic Engineering(edied by C.Nehaniv and M.Ito),Springer. 484-493 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Z.Esik,M.Ito and M.Katsura: "The equational properties of reversal"Algebraic Engineering(edied by C.Nehaniv and M.Ito),Springer. 502-521 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Kondo: "Hilbert algebras are dual isomorphic to positive BCK-algebras"Math.Japonica. 49. 265-268 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Kondo: "Annihlators in BCK-algebras"Math.Japonica. 49. 407-410 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] I.Inata and T.Imaoka: "Note on transitive representations of generalized inverse *-semigroups"RIMS Kokyuroku. 1106. 61-65 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] B.Imreh and M.Ito: "Nondeterministic directable automata and related languages"RIMS Kokyuroku. 1106. 81-87 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Kondo: "Noe on the semantics of logic programming"RIMS Kokyuroku. 1106. 94-101 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] K.Shoji: "Finite completely 0-simpl semigroups and amalgamation ases for finite semigroups"RIMS Kokyuroku. 1106. 211-212 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Kondo: "Axiomatic theory of bilattices in the senantics of artificial inteligence"Far.East J.Math Soc.. 2. 113-122 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Ito and L.Kari: "Shuffle and scattered deletion closure of languages"Theort.Compt.Sci.. (to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T.Imaoka(編著): "Proceedings of the 3rd Symposium on Algebra,Languages and Computation"71 (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] M.Ito and T.Imaoka(編著): "Words,Languages and Combinatorics III"World Scientific,Singapore(to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] C.L.Nehaniv and M.Ito(編著): "Algebraic Engineering"World Scientific,Singapore. 554 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] C.L.Nehaniv and M.Ito(編著): "Special Issue of Theoretical Computer Science"Elseviers,Amsterdam(to appear).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T.E.Hall and T.Imaoka: "Representations and amalgamation of generalized inverse ^*-semigroups" Semigroup Forum. 58. 126-141 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] I.Inata and T.Imaoka: "Note on transitive representations of generalized inverse ^*-semigroups" 数理解析研究所講究録「言語、代数および計算システム」. (to appear).

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] P.M.Higgins and K.Shoji: "On special amalgamation bases" Semigroups and Applications,edited by J.Howie and N.Ruskuc,World Sci.87-96 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Ito and P.Domosi: "Characterization of languages by lengths of their subwords" Semigroups,edited by K.P.Shum et al.,Springer. 117-129 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Ito, Z.Esik and M.Katsura: "The equation theory of reversal" Algebraic Engineering,edited by C.Nehaniv and M.Ito,World Scientific. 427-446 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Ito: "Shuffle products and related operations on languages" Algebraic Engineering,edited by C.Nahaniv and M.Ito,World Scientific. 409-418 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] F.Tiplea, M.Katsura and M.Ito: "On replacement of Petri nets" Acta Informatica. (to appear).

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Ito and B.Imreh: "A note on the star-product" Acta Cybernetica. (to appear).

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Y.Kobayashi: "Homotopy reduction system-asphericity and low dimensional homology-" J.Pure Appl.Algebra. 130. 159-195 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] F.Otto, M.Katsura, Y.Kobayashi: "Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids" J.Symbolic Comp.26. 621-648 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Y.Kobayashi and F.Otto: "Repetitiveness of languages generated by morphisms" Teoret.Comp.Sci.(to appear).

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] H.Marubayashi and A.Ueda: "Prime and primary ideals in a Prufer order in a simple Artinian ring with finite dimension over its center" Canadian Math.Bulletin. (to appear).

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Kondo: "Note on the BCI-G part of BCI-algebras" Mathematica Japonica. 48. 349-352 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] T.Imaoka (編著): "Proceedings of the Second Symposium on Algebra. Languages and Computation" 71 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] K.P.Shum, M.Ito et al. (編著): "Semigroups (Monograph Series)" Springer. Singapore, 370 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] C.Nehaniv and M.Ito (編著): "Algebraic Engineering" World Scientific,Singapore, 554 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] C.Nehaniv and M.Ito (編著): "Special Issue of Theoretical Computer Science" Elsseviers,Amsterdam (to appear),

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] T.E.Hall & T,Imaoka: "Representations and amalgamation of generalized inverse ^*-semigroups" Semigroup Forum. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito, L.Kari & G.Thierrin: "Shuffle and scattered deletion closure of languages" Theoretical Computer Science. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito, F.Tiplea & M.Katsura: "On replacement of Petri nets" Acta Informatica. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Y.Kobayashi & F.Otto: "Repetitiveness of DOL-languages is decidable in polynomial time" MFCS'97,Lect.Notes Comp.Sci.1295. 337-346 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] P.Domosi & C.Nehaniv: "Algebraic theory of finite automata" Mathematica Japonica. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Hilbert algebras are dual isomorphic to positive implicative BCK-algebras" Mathematica Japonica. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Imaoka & T.Ogawa: "Some remarks on representations of generalized inverse *-semigroups" Mem.Fac.Sci.Eng.Shimane Univ,Series B. 30. 23-35 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Imaoka & M.Katsura: "Representations of locally inverse *-semigroups II" Semigroup Forum. 55. 247-255 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito & B.Imreh: "On di-product of nondeterministic automata" Algebra Colloquium. 4. 195-202 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito & L.Kari: "Insertion and deletion closure of languages" Theoretical Computer Science. 183. 3-19 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito, F.Tiplea & M.Katsura: "Processes and vectoral characterizations of parallel communicating grammar systems" Jounal of Automata,Languages and Combinatorics. 2. 47-73 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito & P.Domosi: "Characterization of languages by lengths of their subwords" Monograph Series(Springer-Verlag,Singapore). (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito, Z.Esik & M.Katsura: "The equational theory of reversal" Algebraic Engineering. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Ito: "Shuffle products and related operations on languages" Algebraic Engineering. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Katsura: "On a conjecture by L.Aceto" Proc.1st Sympo.on Algebra,Languages & Computation. 13-14 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Katsura & Y.Kobayashi: "Constructing finitely presented monoids which have no finite complete presentation" Semigroup Forum. 54. 292-302 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] K.Tsuji, M.Katsura & Y.Kobayashi: "On termination of confluent one-rule string-rewriting systems" Inform.Process.Let.61. 91-96 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] F.Otto & Y.Kobayashi: "Properties of monoids that are presented by finite convergent string-rewriting system -a servey-" Advances in Algorithms,Languages and Conplexity. 226-266 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] F.Otto, M.Katsura & Y.Kobayashi: "Cross-sections for finitely presented monoids with decidable word problems" RTA'97,Lect.Notes Comp.Sci.,Springer. 1232. 53-67 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Y.Kobayashi, F.Otto & P.Seebold: "A complete characterization of repetitive morphisms over the two-letter alphabet" COCOON'97,Lect.Notes Comp.Sci.,Springer. 1278. 393-402 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Conditions for L(X) to be an ideal in BCI-algebras" Math.Japonica. 46. 237-239 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Congruences and closed ideals in BCI-algebras" Math.Japonica. 46. 491-496 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Duality theorem for p-semisimple BCI-algebras" Math.Japonica. 46. 497-501 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Functional freeness for the Berm an class Kmn of Ockham algebras" Mem.Fac.Sci.Eng,Shimane Univ.,Series B. 30. 49-55 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Note on BCI-G part of BCI-algebras" Math.Japonica. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kondo: "Annihilators in BCK-algebras" Math.Japonica. (発表予定).

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] P.Domosi & C.Nehaniv: "Some results and ploblems on finite homogeneous automata networks" Proc.Workshop on Languages,Computation and Algebra. 1-11 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] P.Domosi & C.Nehaniv: "Finite automata networks and products of automata" Proc.1st Sympo.on Algebra,Languages and Computation. 69-76 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] C.Nehaniv & K.Dautenhahn: "Semigroup expansions for autobiographic agents" Proc.1st Sympo.on Algebra,Languages and Computation. 77-84 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] K.Dautenhahn & C.Nehaniv: "Artificial lite and natural stories" Proc.3rd Internat.Sympo.on Artificial life and Robotics. 435-439 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Imaoka(編著): "Proceedings of the Workshop on Languages,Computation and Algebra" 89 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Imaoka & C.Nehaniv(編著): "Proceedings of the 1^<st> Symposium on Algebra,Languages and Computation" 99 (1998)

    • 関連する報告書
      1997 実績報告書

URL: 

公開日: 1997-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi