DocumentCode :
2188958
Title :
Substitution of bounded rational cone
Author :
Beauquier, Joffroy ; Beauquier, Joffroy ; Beauquier, Joffroy ; Beauquier, Joffroy ; Latteux, Michel ; Latteux, Michel ; Latteux, Michel ; Latteux, Michel
fYear :
1982
fDate :
3-5 Nov. 1982
Firstpage :
236
Lastpage :
243
Abstract :
We study the family S of rational cones obtained by iterated substitutions from rational cones L1, .., Ln. This family is a semi-group and to every non empty word u defined on the alphabet {L1, ..., Ln}, corresponds a rational cone U of S. We give sufficient conditions for S to be free (U = U′ implies u = u′) and to verify the subpattern property (U ⊂ U′ implies u is a subpattern of u′). We study, more particularly, the case where L1, ..., Ln are bounded rational cones.
Keywords :
Ferroelectric films; Nonvolatile memory; Random access memory; Sufficient conditions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1982. SFCS '08. 23rd Annual Symposium on
Conference_Location :
Chicago, IL, USA
ISSN :
0272-5428
Type :
conf
DOI :
10.1109/SFCS.1982.90
Filename :
4568397
Link To Document :
بازگشت