A note on undecidable properties of formal languages

Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages.

Gespeichert in:

Autor*in:	Greibach, Sheila [verfasserIn]

Format:	Artikel
Sprache:	Englisch

Erschienen:	1968

Schlagwörter:	Computational Mathematic Formal Language Undecidable Property

Systematik:	SA 6845 SA 6845

Anmerkung:	© Springer-Verlag New York Inc. 1968

Übergeordnetes Werk:	Enthalten in: Mathematical systems theory - Springer-Verlag, 1967, 2(1968), 1 vom: März, Seite 1-6
Übergeordnetes Werk:	volume:2 ; year:1968 ; number:1 ; month:03 ; pages:1-6

Links:	Volltext

DOI / URN:	10.1007/BF01691341

Katalog-ID:	OLC2061905617

Internformat


LEADER	01000caa a22002652 4500
001	OLC2061905617
003	DE-627
005	20230323224332.0
007	tu
008	200819s1968 xx \|\|\|\|\| 00\| \|\|eng c
024	7		\|a 10.1007/BF01691341 \|2 doi
035			\|a (DE-627)OLC2061905617
035			\|a (DE-He213)BF01691341-p
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
082	0	4	\|a 510 \|a 000 \|q VZ
084			\|a SA 6845 \|q VZ \|2 rvk
084			\|a SA 6845 \|q VZ \|2 rvk
100	1		\|a Greibach, Sheila \|e verfasserin \|4 aut
245	1	0	\|a A note on undecidable properties of formal languages
264		1	\|c 1968
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
500			\|a © Springer-Verlag New York Inc. 1968
520			\|a Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages.
650		4	\|a Computational Mathematic
650		4	\|a Formal Language
650		4	\|a Undecidable Property
773	0	8	\|i Enthalten in \|t Mathematical systems theory \|d Springer-Verlag, 1967 \|g 2(1968), 1 vom: März, Seite 1-6 \|w (DE-627)129081450 \|w (DE-600)3459-9 \|w (DE-576)014414325 \|x 0025-5661 \|7 nnns
773	1	8	\|g volume:2 \|g year:1968 \|g number:1 \|g month:03 \|g pages:1-6
856	4	1	\|u https://doi.org/10.1007/BF01691341 \|z lizenzpflichtig \|3 Volltext
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_11
912			\|a GBV_ILN_20
912			\|a GBV_ILN_21
912			\|a GBV_ILN_22
912			\|a GBV_ILN_24
912			\|a GBV_ILN_30
912			\|a GBV_ILN_40
912			\|a GBV_ILN_60
912			\|a GBV_ILN_70
912			\|a GBV_ILN_105
912			\|a GBV_ILN_2002
912			\|a GBV_ILN_2004
912			\|a GBV_ILN_2005
912			\|a GBV_ILN_2006
912			\|a GBV_ILN_2007
912			\|a GBV_ILN_2010
912			\|a GBV_ILN_2012
912			\|a GBV_ILN_2015
912			\|a GBV_ILN_2020
912			\|a GBV_ILN_2088
912			\|a GBV_ILN_2244
912			\|a GBV_ILN_4029
912			\|a GBV_ILN_4046
912			\|a GBV_ILN_4082
912			\|a GBV_ILN_4103
912			\|a GBV_ILN_4126
912			\|a GBV_ILN_4155
912			\|a GBV_ILN_4266
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4306
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4310
912			\|a GBV_ILN_4311
912			\|a GBV_ILN_4314
912			\|a GBV_ILN_4316
912			\|a GBV_ILN_4317
912			\|a GBV_ILN_4318
912			\|a GBV_ILN_4319
912			\|a GBV_ILN_4323
912			\|a GBV_ILN_4700
936	r	v	\|a SA 6845
936	r	v	\|a SA 6845
951			\|a AR
952			\|d 2 \|j 1968 \|e 1 \|c 03 \|h 1-6

Indexfelder

author_variant	s g sg
matchkey_str	article:00255661:1968----::ntoudcdberprisfo
hierarchy_sort_str	1968
publishDate	1968
allfields	10.1007/BF01691341 doi (DE-627)OLC2061905617 (DE-He213)BF01691341-p DE-627 ger DE-627 rakwb eng 510 000 VZ SA 6845 VZ rvk SA 6845 VZ rvk Greibach, Sheila verfasserin aut A note on undecidable properties of formal languages 1968 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag New York Inc. 1968 Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. Computational Mathematic Formal Language Undecidable Property Enthalten in Mathematical systems theory Springer-Verlag, 1967 2(1968), 1 vom: März, Seite 1-6 (DE-627)129081450 (DE-600)3459-9 (DE-576)014414325 0025-5661 nnns volume:2 year:1968 number:1 month:03 pages:1-6 https://doi.org/10.1007/BF01691341 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700 SA 6845 SA 6845 AR 2 1968 1 03 1-6
spelling	10.1007/BF01691341 doi (DE-627)OLC2061905617 (DE-He213)BF01691341-p DE-627 ger DE-627 rakwb eng 510 000 VZ SA 6845 VZ rvk SA 6845 VZ rvk Greibach, Sheila verfasserin aut A note on undecidable properties of formal languages 1968 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag New York Inc. 1968 Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. Computational Mathematic Formal Language Undecidable Property Enthalten in Mathematical systems theory Springer-Verlag, 1967 2(1968), 1 vom: März, Seite 1-6 (DE-627)129081450 (DE-600)3459-9 (DE-576)014414325 0025-5661 nnns volume:2 year:1968 number:1 month:03 pages:1-6 https://doi.org/10.1007/BF01691341 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700 SA 6845 SA 6845 AR 2 1968 1 03 1-6
allfields_unstemmed	10.1007/BF01691341 doi (DE-627)OLC2061905617 (DE-He213)BF01691341-p DE-627 ger DE-627 rakwb eng 510 000 VZ SA 6845 VZ rvk SA 6845 VZ rvk Greibach, Sheila verfasserin aut A note on undecidable properties of formal languages 1968 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag New York Inc. 1968 Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. Computational Mathematic Formal Language Undecidable Property Enthalten in Mathematical systems theory Springer-Verlag, 1967 2(1968), 1 vom: März, Seite 1-6 (DE-627)129081450 (DE-600)3459-9 (DE-576)014414325 0025-5661 nnns volume:2 year:1968 number:1 month:03 pages:1-6 https://doi.org/10.1007/BF01691341 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700 SA 6845 SA 6845 AR 2 1968 1 03 1-6
allfieldsGer	10.1007/BF01691341 doi (DE-627)OLC2061905617 (DE-He213)BF01691341-p DE-627 ger DE-627 rakwb eng 510 000 VZ SA 6845 VZ rvk SA 6845 VZ rvk Greibach, Sheila verfasserin aut A note on undecidable properties of formal languages 1968 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag New York Inc. 1968 Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. Computational Mathematic Formal Language Undecidable Property Enthalten in Mathematical systems theory Springer-Verlag, 1967 2(1968), 1 vom: März, Seite 1-6 (DE-627)129081450 (DE-600)3459-9 (DE-576)014414325 0025-5661 nnns volume:2 year:1968 number:1 month:03 pages:1-6 https://doi.org/10.1007/BF01691341 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700 SA 6845 SA 6845 AR 2 1968 1 03 1-6
allfieldsSound	10.1007/BF01691341 doi (DE-627)OLC2061905617 (DE-He213)BF01691341-p DE-627 ger DE-627 rakwb eng 510 000 VZ SA 6845 VZ rvk SA 6845 VZ rvk Greibach, Sheila verfasserin aut A note on undecidable properties of formal languages 1968 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer-Verlag New York Inc. 1968 Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. Computational Mathematic Formal Language Undecidable Property Enthalten in Mathematical systems theory Springer-Verlag, 1967 2(1968), 1 vom: März, Seite 1-6 (DE-627)129081450 (DE-600)3459-9 (DE-576)014414325 0025-5661 nnns volume:2 year:1968 number:1 month:03 pages:1-6 https://doi.org/10.1007/BF01691341 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700 SA 6845 SA 6845 AR 2 1968 1 03 1-6
language	English
source	Enthalten in Mathematical systems theory 2(1968), 1 vom: März, Seite 1-6 volume:2 year:1968 number:1 month:03 pages:1-6
sourceStr	Enthalten in Mathematical systems theory 2(1968), 1 vom: März, Seite 1-6 volume:2 year:1968 number:1 month:03 pages:1-6
format_phy_str_mv	Article
institution	findex.gbv.de
topic_facet	Computational Mathematic Formal Language Undecidable Property
dewey-raw	510
isfreeaccess_bool	false
container_title	Mathematical systems theory
authorswithroles_txt_mv	Greibach, Sheila @@aut@@
publishDateDaySort_date	1968-03-01T00:00:00Z
hierarchy_top_id	129081450
dewey-sort	3510
id	OLC2061905617
language_de	englisch
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2061905617</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230323224332.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s1968 xx \|\|\|\|\| 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF01691341</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2061905617</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF01691341-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510</subfield><subfield code="a">000</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6845</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6845</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Greibach, Sheila</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A note on undecidable properties of formal languages</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1968</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag New York Inc. 1968</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Mathematic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Undecidable Property</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Mathematical systems theory</subfield><subfield code="d">Springer-Verlag, 1967</subfield><subfield code="g">2(1968), 1 vom: März, Seite 1-6</subfield><subfield code="w">(DE-627)129081450</subfield><subfield code="w">(DE-600)3459-9</subfield><subfield code="w">(DE-576)014414325</subfield><subfield code="x">0025-5661</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:2</subfield><subfield code="g">year:1968</subfield><subfield code="g">number:1</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:1-6</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF01691341</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2002</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4103</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4155</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4319</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6845</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6845</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2</subfield><subfield code="j">1968</subfield><subfield code="e">1</subfield><subfield code="c">03</subfield><subfield code="h">1-6</subfield></datafield></record></collection>
author	Greibach, Sheila
spellingShingle	Greibach, Sheila ddc 510 rvk SA 6845 misc Computational Mathematic misc Formal Language misc Undecidable Property A note on undecidable properties of formal languages
authorStr	Greibach, Sheila
ppnlink_with_tag_str_mv	@@773@@(DE-627)129081450
format	Article
dewey-ones	510 - Mathematics 000 - Computer science, information & general works
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0025-5661
topic_title	510 000 VZ SA 6845 VZ rvk A note on undecidable properties of formal languages Computational Mathematic Formal Language Undecidable Property
topic	ddc 510 rvk SA 6845 misc Computational Mathematic misc Formal Language misc Undecidable Property
topic_unstemmed	ddc 510 rvk SA 6845 misc Computational Mathematic misc Formal Language misc Undecidable Property
topic_browse	ddc 510 rvk SA 6845 misc Computational Mathematic misc Formal Language misc Undecidable Property
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
hierarchy_parent_title	Mathematical systems theory
hierarchy_parent_id	129081450
dewey-tens	510 - Mathematics 000 - Computer science, knowledge & systems
hierarchy_top_title	Mathematical systems theory
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)129081450 (DE-600)3459-9 (DE-576)014414325
title	A note on undecidable properties of formal languages
ctrlnum	(DE-627)OLC2061905617 (DE-He213)BF01691341-p
title_full	A note on undecidable properties of formal languages
author_sort	Greibach, Sheila
journal	Mathematical systems theory
journalStr	Mathematical systems theory
lang_code	eng
isOA_bool	false
dewey-hundreds	500 - Science 000 - Computer science, information & general works
recordtype	marc
publishDateSort	1968
contenttype_str_mv	txt
container_start_page	1
author_browse	Greibach, Sheila
container_volume	2
class	510 000 VZ SA 6845 VZ rvk
format_se	Aufsätze
author-letter	Greibach, Sheila
doi_str_mv	10.1007/BF01691341
dewey-full	510 000
title_sort	a note on undecidable properties of formal languages
title_auth	A note on undecidable properties of formal languages
abstract	Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. © Springer-Verlag New York Inc. 1968
abstractGer	Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. © Springer-Verlag New York Inc. 1968
abstract_unstemmed	Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages. © Springer-Verlag New York Inc. 1968
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_20 GBV_ILN_21 GBV_ILN_22 GBV_ILN_24 GBV_ILN_30 GBV_ILN_40 GBV_ILN_60 GBV_ILN_70 GBV_ILN_105 GBV_ILN_2002 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2010 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2088 GBV_ILN_2244 GBV_ILN_4029 GBV_ILN_4046 GBV_ILN_4082 GBV_ILN_4103 GBV_ILN_4126 GBV_ILN_4155 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4310 GBV_ILN_4311 GBV_ILN_4314 GBV_ILN_4316 GBV_ILN_4317 GBV_ILN_4318 GBV_ILN_4319 GBV_ILN_4323 GBV_ILN_4700
container_issue	1
title_short	A note on undecidable properties of formal languages
url	https://doi.org/10.1007/BF01691341
remote_bool	false
ppnlink	129081450
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
doi_str	10.1007/BF01691341
up_date	2024-07-04T04:44:25.616Z
_version_	1803622301688659968
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2061905617</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230323224332.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s1968 xx \|\|\|\|\| 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF01691341</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2061905617</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF01691341-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510</subfield><subfield code="a">000</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6845</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SA 6845</subfield><subfield code="q">VZ</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Greibach, Sheila</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A note on undecidable properties of formal languages</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1968</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer-Verlag New York Inc. 1968</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract A general set of conditions is given under which a property is undecidable for a family of languages. Examples are given of the application of this result to wellknown families of languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Mathematic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Undecidable Property</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Mathematical systems theory</subfield><subfield code="d">Springer-Verlag, 1967</subfield><subfield code="g">2(1968), 1 vom: März, Seite 1-6</subfield><subfield code="w">(DE-627)129081450</subfield><subfield code="w">(DE-600)3459-9</subfield><subfield code="w">(DE-576)014414325</subfield><subfield code="x">0025-5661</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:2</subfield><subfield code="g">year:1968</subfield><subfield code="g">number:1</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:1-6</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF01691341</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_30</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2002</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4029</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4082</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4103</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4126</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4155</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4316</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4319</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6845</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SA 6845</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2</subfield><subfield code="j">1968</subfield><subfield code="e">1</subfield><subfield code="c">03</subfield><subfield code="h">1-6</subfield></datafield></record></collection>
score	7.401636

Nicht das Richtige dabei?

Schreiben Sie uns!

A note on undecidable properties of formal languages

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?