Search Results - "Formal languages"

Modeling Mathematical Language Through Fixed Points, Formal Languages, and Linguistic Enrichment.

Authors: Ilchev, Atanas Ivanova, Vanya Todorov, Angel et al.

Source: Mathematics (2227-7390). Jun2026, Vol. 14 Issue 12, p2038. 22p.

Advanced Sarcasm Detection Using Transformer‐Based Models: Analyzing Variations in Formal and Informal Languages.

Authors: Ullah, Mohammad Aman Sultana, Rebeka Chowdhury, Sadia Hasan et al.

Source: Applied Computational Intelligence & Soft Computing; 6/7/2026, Vol. 2026, p1-14, 14p

On Natural Language Stringsets, Senses, and Generative Capacity.

Authors: Radzinski, Daniel, radzinski@gmail.com

Source: Computational Linguistics; Jun2026, Vol. 52 Issue 2, p831-840, 10p

Weak Monotone Fixed Points for Positive–Negative Guarded Language Systems in a Length-Based Ultrametric Space.

Authors: Ajeti, Laura Hristov, Hristo Ilchev, Atanas et al.

Source: Axioms (2075-1680). Jun2026, Vol. 15 Issue 6, p440. 26p.

Full AFL characterization of the class of hyper β-languages of order n.

Authors: Jain, A. Leeratanavalee, S. Jain, S. et al.

Source: Journal of Algebra & Applied Mathematics. Mar2026, Vol. 24 Issue 1, p55-73. 19p.

Weak semiring structure of β-languages.

Authors: Jain, A. Petalcorin Jr., G. C.

Source: Journal of Analysis & Applications. Mar2026, Vol. 24 Issue 1, p35-45. 11p.

Formal Abstraction of Program Slices for Specification and Requirement Extraction Using Object-Z.

Authors: Aparna, K. S. Kulkarni, R. N.

Source: Engineering, Technology & Applied Science Research; Feb2026, Vol. 16 Issue 1, p30843-30851, 9p

CHARACTERIZATIONS OF MONADIC SECOND ORDER DEFINABLE CONTEXT-FREE SETS OF GRAPHS.

Authors: IOSIF, RADU ZULEGER, FLORIAN

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p22:1-22:30, 30p

Exploring iterated morphisms on words: Analysis using subwords and Parikh matrices.

Authors: Janaki, K. Kumari, R. Krishna

Source: Mathematics in Engineering, Science & Aerospace (MESA). 2025, Vol. 16 Issue 4, p1343-1353. 11p.

P Systems Generating Octagonal Picture Languages.

Authors: D, Deepalakshmi Mathew, Lisa

Source: Parallel Processing Letters. Jul2026, p1. 20p.

Parallel Contextual Array Insertion Deletion P Systems and Pure 2D Eilenberg P Systems.

Authors: Kalyani, T. Lakshmi, M. Gayathri Thomas, D. Gnanaraj

Source: Parallel Processing Letters. Jun2026, p1. 24p.

Modernizing quality management with formal languages and neural networks.

Authors: Utepbergenov, Irbulat Toibayeva, Shara

Source: International Journal of Electrical & Computer Engineering (2088-8708). Aug2025, Vol. 15 Issue 4, p4031-4042. 12p.

Subjects: Formal languages, Artificial neural networks, Automation, Total quality management, Sustainability, Regulatory compliance, Information networks, Sustainable development

Knowledge-Based Ontology Model With a Case Study.

Authors: Smaili, Naoual Kabbaj, Adil

Source: Knowledge Organization. Aug2025, Vol. 52 Issue 4, p1-17. 17p.

Subjects: Formal languages, Encyclopedias & dictionaries, Conceptual graphs, Theory of knowledge, Formalization (Linguistics)

On decidability of problems involving insertion operations.

Authors: Ibarra, Oscar H. McQuillan, Ian

Source: Natural Computing; Sep2025, Vol. 24 Issue 3, p679-691, 13p

Inductive inference of lindenmayer systems: algorithms and computational complexity.

Authors: Duffy, Christopher Hillis, Sam Khan, Umer et al.

Source: Natural Computing; Sep2025, Vol. 24 Issue 3, p591-601, 11p

Characterizing languages of polymorphic P systems by parallel communicating Lindenmayer systems.

Authors: Kuczik, Anna Vaszil, György

Source: Natural Computing; Sep2025, Vol. 24 Issue 3, p529-540, 12p

Construction of hyper β-language from hyper semi-deterministic pushdown automata (HSDPDA) of order n.

Authors: Jain, A. Jain, S. Leeratanavalee, S. et al.

Source: Journal of Algebra & Applied Mathematics. Sep2025, Vol. 23 Issue 2, p135-153. 19p.

Quaternionic lattices and the poly-context-free word problem.

Authors: Bondarenko, Ievgen¹ (AUTHOR) ievgbond@gmail.com

Source: Journal of Group Theory. Sep2025, Vol. 28 Issue 5, p1163-1175. 13p.

Automatic extraction of structured information from elementary level geometry questions into logic forms.

Authors: Boob, Archana Reddy, Shiva Walke, Deep et al.

Source: Multimedia Tools & Applications; Aug2025, Vol. 84 Issue 27, p32151-32175, 25p

Sufficiency Conditions for Well-Formedness of Quantum Context-Free Grammars.

Authors: Aruja, Merina Mathew, Lisa Vijayakumar, Jayakrishna

Source: International Journal of Foundations of Computer Science. Feb2026, Vol. 37 Issue 2, p361-378. 18p.