Title :
Substitution of bounded rational cone
Author :
Beauquier, Joffroy ; Beauquier, Joffroy ; Beauquier, Joffroy ; Beauquier, Joffroy ; Latteux, Michel ; Latteux, Michel ; Latteux, Michel ; Latteux, Michel
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;
Conference_Titel :
Foundations of Computer Science, 1982. SFCS '08. 23rd Annual Symposium on
Conference_Location :
Chicago, IL, USA
DOI :
10.1109/SFCS.1982.90