The Community for Technology Leaders
RSS Icon
Issue No.07 - July (1975 vol.24)
pp: 741-742
S.A. Greibach , Department of System Science, University of California
Given two nonempty sets of nonempty codewords S = {s<inf>1</inf>,...,s<inf>n</inf>} and T = {t<inf>1</inf>,...,t<inf>m</inf>}, it is decidable whether there are i<inf>1</inf>,...,l<inf>k</inf>and j<inf>1</inf>,...,j<inf>k</inf>such that s<inf>i1</inf>...s<inf>ik</inf>= t<inf>j1</inf>...t<inf>jk</inf>, and furthermore, the set of all such solutions is a one counter language.
Code set, context-free language, correspondence problem, decision problem, one counter language.
S.A. Greibach, "A Remark on Code Sets and Context-Free Languages", IEEE Transactions on Computers, vol.24, no. 7, pp. 741-742, July 1975, doi:10.1109/T-C.1975.224294
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool