<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article"><front><journal-meta><journal-id journal-id-type="publisher-id">INFORMATICA</journal-id><journal-title-group><journal-title>Informatica</journal-title></journal-title-group><issn pub-type="epub">0868-4952</issn><issn pub-type="ppub">0868-4952</issn><publisher><publisher-name>VU</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="publisher-id">INF11401</article-id><article-id pub-id-type="doi">10.3233/INF-2000-11401</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research article</subject></subj-group></article-categories><title-group><article-title>Commutation in Global Supermonoid of Free Monoids</article-title></title-group><contrib-group><contrib contrib-type="Author"><name><surname>Brosalina</surname><given-names>Anna</given-names></name><email xlink:href="mailto:ufire@mv.ru">ufire@mv.ru</email><xref ref-type="aff" rid="j_INFORMATICA_aff_000"/></contrib><contrib contrib-type="Author"><name><surname>Melnikov</surname><given-names>Boris</given-names></name><email xlink:href="mailto:bormel@mail.ru">bormel@mail.ru</email><xref ref-type="aff" rid="j_INFORMATICA_aff_000"/></contrib><aff id="j_INFORMATICA_aff_000">Department of Applied Mathematics, Ulyanovsk State University, L. Tolstoy 42, 432700 Ulyanovsk, Russia</aff></contrib-group><pub-date pub-type="epub"><day>01</day><month>01</month><year>2000</year></pub-date><volume>11</volume><issue>4</issue><fpage>353</fpage><lpage>370</lpage><history><date date-type="received"><day>01</day><month>04</month><year>2000</year></date></history><abstract><p>This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition for commutation of languages are obtained, and in the prefix case the necessary and sufficient conditions are obtained. It is important to note that the considered alphabets and languages can be infinite.</p><p>The possibilities of application of the obtained results are shown in the other problems of the theory of formal languages. The boundary problems for the further solution are formulated.</p></abstract><kwd-group><label>Keywords</label><kwd>formal languages</kwd><kwd>commutation of languages</kwd><kwd>infinite and prefix languages</kwd></kwd-group></article-meta></front></article>