{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T13:14:46Z","timestamp":1765458886302,"version":"3.46.0"},"reference-count":32,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T00:00:00Z","timestamp":1765411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>The Horadam sequence Hn(a,b;p,q) unifies a number of well-known sequences, such as Fibonacci and Lucas sequences. We use the context-free grammars as a new tool to study Horadam sequences. By introducing a set of auxiliary basis polynomials (v1,v2,v3) and using the formal derivative associated with the Horadam grammar, we solve the convolution coefficients and provide a unified method to discover convolution formulas associated with binomial coefficients. These results are extended to subsequences with indices kn through a parameterized grammar Gk. Using the modified grammar Gk\u02dc, we derive convolution formulas involving the weighting term (\u2212q)n\u2212i. Furthermore, applying the proposed framework to (p,q)-Fibonacci and (p,q)-Lucas sequences, we derive explicit convolution formulas with parameters (p,q). The framework is also applied to derive specific identities for Pell and Pell\u2013Lucas numbers, as well as for Fermat and Fermat\u2013Lucas numbers.<\/jats:p>","DOI":"10.3390\/axioms14120910","type":"journal-article","created":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T12:57:41Z","timestamp":1765457861000},"page":"910","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Deriving Binomial Convolution Formulas for Horadam Sequences via Context-Free Grammars"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6661-445X","authenticated-orcid":false,"given":"Jun-Ying","family":"Liu","sequence":"first","affiliation":[{"name":"School of Mathematics and Statistics, Shandong University of Technology, Zibo 255000, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai-Ling","family":"Li","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Shandong University of Technology, Zibo 255000, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-Hong","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Shandong University of Technology, Zibo 255000, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1024-3201","authenticated-orcid":false,"given":"Tao","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics, Northeastern University at Qinhuangdao, Qinhuangdao 066004, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2025,12,11]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1080\/00029890.1961.11989696","article-title":"A generalized Fibonacci sequence","volume":"68","author":"Horadam","year":"1961","journal-title":"Am. Math. Mon."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Cao, S., and Wang, T. (2025). Symmetric inequalities for reciprocal sums of Fibonacci numbers. Symmetry, 17.","DOI":"10.3390\/sym17101743"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1080\/00150517.1973.12430826","article-title":"Exponential generating functions for Fibonacci identities","volume":"11","author":"Church","year":"1973","journal-title":"Fibonacci Q."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1080\/00150517.1978.12430293","article-title":"Some classes of Fibonacci sums","volume":"16","author":"Carlitz","year":"1978","journal-title":"Fibonacci Q."},{"key":"ref_5","unstructured":"\u0110or\u0111evi\u0107, G.B., and Milovanovi\u0107, G.V. (2014). Special Classes of Polynomials, Faculty of Technology, Leskovac, University of Ni\u0161."},{"key":"ref_6","unstructured":"Graham, R.L., Knuth, D.E., and Patashnik, O. (1994). Concrete Mathematics: A Foundation for Computer Science, Addison-Wesley. [2nd ed.]."},{"key":"ref_7","first-page":"1251","article-title":"On the properties of Fibonacci numbers with binomial coefficients","volume":"4","author":"Gulec","year":"2009","journal-title":"Int. J. Contemp. Math. Sci."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.36045\/j.bbms.200525","article-title":"Binomial sums with Pell and Lucas polynomials","volume":"28","author":"Guo","year":"2021","journal-title":"Bull. Belg. Math. Soc.\u2014Simon Stevin"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Roettger, E.L.F., and Williams, H.C. (2025). The Enchantment of Numbers, Springer.","DOI":"10.1007\/978-3-031-76568-1"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.aml.2009.08.007","article-title":"On the properties of Lucas numbers with binomial coefficients","volume":"23","author":"Taskara","year":"2010","journal-title":"Appl. Math. Lett."},{"key":"ref_11","unstructured":"Vajda, S. (1989). Fibonacci and Lucas Numbers, and the Golden Section, Theory and Applications, John Wiley and Sons."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Guo, B.N., Polatl\u0131, E., and Qi, F. (2021). Determinantal formulas and recurrent relations for bi-periodic Fibonacci and Lucas polynomials. New Trends in Applied Analysis and Computational Mathematics, Proceedings of the International Conference on Advances in Mathematics and Computing (ICAMC 2020), Odisha, India, 7\u20138 February 2020, Springer.","DOI":"10.1007\/978-981-16-1402-6_18"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"102534","DOI":"10.1016\/j.aam.2023.102534","article-title":"A unified approach to multivariate polynomial sequences with real stability","volume":"148","author":"Huan","year":"2023","journal-title":"Adv. Appl. Math."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Koparal, S., \u00d6m\u00fcr, N., Boz, S., Mohamed, K.S., Khan, W.A., and Adam, A. (2025). Generalized Fibonacci polynomials and their properties. Symmetry, 17.","DOI":"10.3390\/sym17111898"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1016\/j.aam.2006.02.003","article-title":"A unified approach to polynomial sequences with only real zeros","volume":"38","author":"Liu","year":"2007","journal-title":"Adv. Appl. Math."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"106093","DOI":"10.1016\/j.jcta.2025.106093","article-title":"Stirling permutation codes. II","volume":"217","author":"Ma","year":"2026","journal-title":"J. Comb. Theory Ser. A"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Qi, F., K\u0131z\u0131late\u015f, C., and Du, W.-S. (2019). A closed formula for the Horadam polynomials in terms of a tridiagonal determinant. Symmetry, 11.","DOI":"10.3390\/sym11060782"},{"key":"ref_18","first-page":"23","article-title":"On generalized Fibonacci polynomials: Horadam polynomials","volume":"11","author":"Soykan","year":"2023","journal-title":"Earthline J. Math. Sci."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Liu, J.-Y., Li, H.-L., and Zhang, Z.-H. (2025). A grammatical interpretation of Horadam sequences. Axioms, 14.","DOI":"10.3390\/axioms14110819"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(93)90307-F","article-title":"Context-free grammars, differential operators and formal power series","volume":"117","author":"Chen","year":"1993","journal-title":"Theor. Comput. Sci."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1016\/j.dam.2025.09.025","article-title":"Determinantal representations of enumerative polynomials","volume":"378","author":"Ma","year":"2026","journal-title":"Discret. Appl. Math."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"106132","DOI":"10.1016\/j.jcta.2025.106132","article-title":"Eulerian-type polynomials over Stirling permutations and box sorting algorithm","volume":"220","author":"Ma","year":"2026","journal-title":"J. Comb. Theory Ser. A"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"102772","DOI":"10.1016\/j.aam.2024.102772","article-title":"On the joint distributions of succession and Eulerian statistics","volume":"162","author":"Ma","year":"2025","journal-title":"Adv. Appl. Math."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1007\/s00026-022-00609-z","article-title":"The Dumont ansatz for the Eulerian polynomials, peak polynomials and derivative polynomials","volume":"27","author":"Chen","year":"2023","journal-title":"Ann. Comb."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.aam.2016.07.003","article-title":"Context-free grammars, permutations and increasing trees","volume":"82","author":"Chen","year":"2017","journal-title":"Adv. Appl. Math."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"103869","DOI":"10.1016\/j.ejc.2023.103869","article-title":"Excedance-type polynomials, gamma-positivity and alternatingly increasing property","volume":"118","author":"Ma","year":"2024","journal-title":"Eur. J. Comb."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1081","DOI":"10.1016\/j.ejc.2013.03.002","article-title":"Some combinatorial arrays generated by context-free grammars","volume":"34","author":"Ma","year":"2013","journal-title":"Eur. J. Comb."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"P1.31","DOI":"10.37236\/6979","article-title":"Context-free grammars for several polynomials associated with Eulerian polynomials","volume":"25","author":"Ma","year":"2018","journal-title":"Electron. J. Comb."},{"key":"ref_29","first-page":"299","article-title":"Enumeration of words derived from unambiguous context-free grammars based on powers of generating functions","volume":"28","author":"Shabiya","year":"2025","journal-title":"Proc. Jangjeon Math. Soc."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"6497710","DOI":"10.1155\/2023\/6497710","article-title":"A context-free grammar associated with Fibonacci and Lucas sequences","volume":"2023","author":"Yang","year":"2023","journal-title":"J. Math."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Zhou, R.R., Yeh, J., and Ren, F. (2022). Context-free grammars for several triangular arrays. Axioms, 11.","DOI":"10.3390\/axioms11060297"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1016\/0097-3165(78)90062-6","article-title":"Formal languages and enumeration","volume":"24","author":"Goldman","year":"1978","journal-title":"J. Comb. Theory Ser. A"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/12\/910\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T13:07:12Z","timestamp":1765458432000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/14\/12\/910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,11]]},"references-count":32,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["axioms14120910"],"URL":"https:\/\/doi.org\/10.3390\/axioms14120910","relation":{},"ISSN":["2075-1680"],"issn-type":[{"value":"2075-1680","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,11]]}}}