Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet

نویسندگان

  • Klaus Madlener
  • Friedrich Otto
چکیده

Following the course set by A. O'D unlaing (1983) has shown that certain properties of nitely generated Thue con-gruences are undecidable in general. Here we prove that many of these undecidability results remain valid even when only nitely generated Thue congruences on a xed two-letter alphabet 2 are considered. In contrast to a construction given by P. Schupp (1976) which applies to groups only, we use a modiied version of a technical lemma from A. Markov's original paper. Based on this technical result we can carry the result of A. Sattler-Klein (1996), which says that certain Markov properties remain undecidable even when they are restricted to nitely generated Thue congruences that are decidable, over to the alphabet 2 .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Overlap-Free Words and Generalizations

The study of combinatorics on words dates back at least to the beginning of the 20 century and the work of Axel Thue. Thue was the first to give an example of an infinite word over a three letter alphabet that contains no squares (identical adjacent blocks) xx. This result was eventually used to solve some longstanding open problems in algebra and has remarkable connections to other areas of ma...

متن کامل

The effects of teaching English alphabet with and without initial introduction of letter names on Iranian grade seven students' reading speed

One of the most important steps in teaching English is teaching its alphabet to the learners. Implementing the best method will highly help teachers to achieve acceptable results in helping students to read better and faster. Two basic methods are frequently used by Iranian educators. Some start by the name of the letters and introduce the sounds that they symbolize later, while others are thos...

متن کامل

Preserving Regularity and Related Properties

A nite string-rewriting system R preserves regularity if and only if it preserves-regularity, where is the alphabet containing exactly those letters that have occurrences in the rules of R. This proves a conjecture of Gyenizse and VV agvv olgyi (1995). In addition, some undecidability results are presented that generalize some results of Gilleron and Ti-son (1995) from term-rewriting systems to...

متن کامل

An automaton group: a computational case study

We introduce a two generated weakly branch contracting automaton group $G$ which is generated by a two state automaton on a three letter alphabet. Using its branch structure and the finiteness nature of a sequence of its factor groups we compute the order of some of these factors. Furthermore some algebraic properties of $G$ are detected .

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 30  شماره 

صفحات  -

تاریخ انتشار 1997