Metadata
Author: ParaCrawl Corpus
Data
English[en]
Post and Markov had independently constructed semigroups with this property in 1947. In fact Boone had constructed for his doctoral thesis an example of a finitely presented group with no way to decide if a given element lies in the subsemigroup generated a fixed finite set.
Korean[ko]
포스트 마르코프 독립적으로 1947 년이 속성 semigroups 건설했다. 분이 자신의 박사 학위 논문을 결정하는 방법이 함께 제시 finitely 그룹의 예를 들어 건설했다 사실이 경우에는 주어진 요소 subsemigroup 속에 고정 유한 집합 생성.