Abstract
We establish a relationship between periodic graphs representing crystallographic structures and an infinite hierarchy of intersection languages \(\mathcal{DCL}_d\), d = 0,1,2,…, within the intersection classes of deterministic context-free languages. We introduce a class of counter machines that accept these languages, where the machines with d counters recognize the class \(\mathcal{DCL}_d\). Each language in \(\mathcal{DCL}_d\) is an intersection of d languages in \(\mathcal{DCL}_1\). We prove that there is a one-to-one correspondence between sets of walks starting and ending in the same unit of a d-dimensional periodic (di)graph and the class of languages in \(\mathcal{DCL}_d\).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages. Word, Language, Grammar, vol. 1, pp. 111–174. Springer (1997)
Beukemann, A., Klee, W.E.: Minimal nets. Z. tür Kristallographie 201(1-2), 37–51 (1992)
Chiniforooshan, E., Daley, M., Ibarra, O.H., Kari, L., Seki, S.: One-reversal counter machines and multihead automata: Revisited. Theoretical Computer Science 454, 81–87 (2012)
Chung, S.J., Hahn, T., Klee, W.E.: Nomenclature and Generation of Three-Periodic Nets: the Vector Method. Acta Crys. A40, 42–50 (1984)
Cohen, E., Megiddo, N.: Recognizing properties of periodic graphs. J. Applied Geometry and Discrete Mathematics 4, 135–146 (1991)
Delgado-Friedrichs, O.: Equilibrium placement of periodic graphs and convexity of plane tilings. Discrete Comput. Geom. 33, 67–81 (2005)
Delgado-Friedrichs, O., O’Keeffe, M., Yaghi, O.M.: Taxonomy of periodic nets and the design of materials. Phys. Chem. Chem. Phys. 9, 1035–1043 (2007)
Eon, J.-G.: Graph-theoretical characterization of periodicity in crystallographic nets and other infinite graphs. Acta Crys. A 61, 501–511 (2005)
Glusker, J.P.: Brief history of chemical crystallography. ii: Organic compounds. In: Lima-De-Faria, J. (ed.) Historical Atlas of Crystallography, pp. 91–107. Kluwer (1990)
Hopcroft, J.E., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (1979)
Ibarra, O.: Reversal-bounded multicounter machines and their decision problems. J. Assoc. Comput. Mach. 25, 116–133 (1978)
Ibarra, O.H., Yen, H.-C.: On two-way transducers. In: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol. 6795, pp. 300–311. Springer, Heidelberg (2011)
Jonoska, N., Krajcevski, M., McColm, G.: Counter machines and crystalographic structures (in preparation)
Jonoska, N., McColm, G.L.: Flexible versus rigid tile assembly. In: Calude, C.S., Dinneen, M.J., Păun, G., Rozenberg, G., Stepney, S. (eds.) UC 2006. LNCS, vol. 4135, pp. 139–151. Springer, Heidelberg (2006)
Jonoska, N., McColm, G.: Complexity classes for self-assembling flexible tiles. Theoretical Computer Science 410(4-5), 332–346 (2009)
Kintala, C.M.: Refining nondeterminism in context-free languages. Mathematical Systems Theory 12(1), 1–8 (1978)
Klee, W.E.: Crystallographic nets and their quotient graphs. Cryst. Res. Technol. 39(11), 959–968 (2004)
Liu, L.Y., Weiner, P.: An infinite hierarchy of intersections of context-free languages. Mathematical Systems Theory 7(2), 185–192 (1973)
McColm, G., Clark, W.E., Eddaoudi, M., Wojtas, L., Zaworotko, M.: Crystal engineering using a “turtlebug” algorithm: A de novo approach to the design of binodal metal organic frameworks. Crystal Growth & Design 19(9), 3686–3693 (2011)
Meier, J.: Groups, Graphs and Trees: An Introduction to the Geometry of Infinite Groups. Cambridge U. Pr. (2008)
Moore, P.B.: Brief history of chemical crystallography. i: Inorganic compounds. In: Lima-De-Faria, J. (ed.) Historical Atlas of Crystallography, pp. 77–90. Kluwer (1990)
O’Keeffe, M., Hyde, B.G.: Crystal Structures I. Patterns and Symmetry. Mineralogical Society of America (1996)
Seki, S.: N-dimensional crystallography. Private Communication (2013)
Wang, C., Liu, D., Lin, W.: Metal-organic frameworks as a tunable platform for designing functional molecular materials. J. American Chemical Society 135(36), 13222–13234 (2013)
Wells, A.F.: Three-dimensional Nets and Polyhedra. Wiley (1977)
Zheng, J., Birktoft, J., Chen, Y., Wang, T., Sha, R., Constantinou, P., Ginell, S., Mao, C., Seeman, N.: From molecular to macroscopic via the rational design of a self-assembled 3D DNA crystal. Nature 461(7260), 74–77 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Jonoska, N., Krajcevski, M., McColm, G. (2014). Languages Associated with Crystallographic Symmetry. In: Ibarra, O., Kari, L., Kopecki, S. (eds) Unconventional Computation and Natural Computation. UCNC 2014. Lecture Notes in Computer Science(), vol 8553. Springer, Cham. https://doi.org/10.1007/978-3-319-08123-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-08123-6_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08122-9
Online ISBN: 978-3-319-08123-6
eBook Packages: Computer ScienceComputer Science (R0)