Thinking·OS

Graph explorer

Explore the knowledge graph

Algorithm models Turing machine. Activate to inspect this relation.Algorithm is a Sequence. Activate to inspect this relation.Church-Turing Thesis depends on Turing machine. Activate to inspect this relation.Church-Turing Thesis explains Computability. Activate to inspect this relation.Computability depends on Turing machine. Activate to inspect this relation.Computability theory depends on Turing machine. Activate to inspect this relation.Computational linguistics applies to Formal language. Activate to inspect this relation.Computational linguistics enables Natural language processing. Activate to inspect this relation.Context-Free Grammar enables Formal language. Activate to inspect this relation.Finite automaton models Regular Language. Activate to inspect this relation.Finite automaton is analogous to Turing machine. Activate to inspect this relation.Finite-state machine is analogous to Turing machine. Activate to inspect this relation.Formal language applies to Finite automaton. Activate to inspect this relation.Greedy algorithm is a Algorithm. Activate to inspect this relation.Halting problem applies to Turing machine. Activate to inspect this relation.Halting problem depends on Turing machine. Activate to inspect this relation.Halting problem is part of Computability. Activate to inspect this relation.Lambda calculus is analogous to Turing machine. Activate to inspect this relation.Machine learning is part of Artificial intelligence. Activate to inspect this relation.Machine learning is a Algorithm. Activate to inspect this relation.Natural language processing is a Artificial intelligence. Activate to inspect this relation.Pushdown Automaton is a Finite automaton. Activate to inspect this relation.Regular Language is a Formal language. Activate to inspect this relation.Semiotics is analogous to Natural language processing. Activate to inspect this relation.Space Complexity measures Turing machine. Activate to inspect this relation.Time Complexity measures Turing machine. Activate to inspect this relation.Turing machine is a Finite automaton. Activate to inspect this relation.Turing machine models Computability. Activate to inspect this relation.Turing machine models Algorithm. Activate to inspect this relation.Formal languageFinite automatonComputational linguisticsContext-Free GrammarRegular LanguageTuring machinePushdown AutomatonNatural language processingAlgorithmComputabilityChurch-Turing ThesisHalting problemLambda calculusSpace ComplexityTime ComplexityComputability theoryFinite-state machineArtificial intelligenceSemioticsSequenceMachine learningGreedy algorithm
Relationship types

143 concepts viewed through this lens. Bridge concepts connect this view to Anthropology, Audio Engineering, Biochemistry, Bioinformatics….

Legend
  • Focused concept
  • Connected concept
  • Bridge concept (just outside the lens)
  • Arrow points from cause / source to effect / target
  • A line with no arrow is a two-way relationship
  • Node colour marks the concept’s primary discipline
22 concepts29 relationships20 disciplines6 relation families

Formal language

Open concept →

At a glance

A formal language is a precisely-defined set of strings, described by a grammar and recognised by a machine.

Disciplines
Theory of Computation · Computer Science
Role in the graph
Cross-disciplinary bridge — reaches Computational Linguistics, Linguistics
Relationships
4 · 3 relation families

What am I looking at?

In this lens (143)

Bridge concepts (162)

Just outside the lens — they connect it to other context.

  • Complexity Class NP3
    Computational Complexity · connects to Class P, NP-completeness, P versus NP
  • DNA3
    Biochemistry, Bioinformatics, Cell Biology, Evolutionary Biology, Genetics, Molecular Biology · connects to Algorithm, Encoding, Sequence
  • Network3
    Anthropology, Discrete Mathematics, Linear Algebra, Mathematics, Network Science, Sociology, Urban Planning · connects to Client-server model, Communication protocol, Latency
  • Optimization3
    Business, Economics, Engineering, Mathematical Modelling, Optimization, Systems Engineering · connects to Gradient descent, Machine learning, NP-complete
  • Pattern3
    Biology, Cognitive Science, Design, Education, Educational Science, Machine Learning, Mathematics · connects to Hierarchy, Machine learning, Sequence

Insights from this view

Structural observations about the concepts shown here — descriptions of this graph, not claims about the world.

  • This view connects 20 disciplines: Algorithms, Artificial Intelligence, Bioinformatics, Computational Complexity, Computational Linguistics, Computer Science, Data Structures, Discrete Mathematics, History, Linguistics, Logic, Machine Learning, Mathematics, Molecular Biology, Optimization, Programming Languages, Semiotics, Software Engineering, Statistics, Theory of Computation.
  • Formal language is a bridge concept — viewed here through Computer Science, Theory of Computation.
  • The connections here span 6 relation families.
  • Information explains 4 concepts in this view (Algorithms, Artificial Intelligence, Bioinformatics, Computational Complexity, Computer Science, Data Structures, Discrete Mathematics, History, Logic, Machine Learning, Mathematics, Molecular Biology, Software Engineering, Statistics, Theory of Computation).

Relationships as a list

The focused concept’s relationships. Pick another concept in the graph above to update this list.

Explore through a different lens

A lens is a deterministic projection of the graph. Pick a discipline, thinking pattern or journey to reframe the whole view.

By discipline

ChemistryBiologyPhysicsMathematicsComputer ScienceGeologyMineralogyEconomics

By thinking pattern

Bayesian updatingCause and effectCompoundingConservationConstraintsDefense in depthDiffusion & spreadEmergenceEnergy transformationEntropy & irreversibilityEquilibriumFeedback loopIncentivesInformationLevels & hierarchyModularityNetworksOptimizationOscillationProbabilityRecursion & self-similarityScaleSignal vs noiseSource–pathway–receptorStocks and flowsSymmetry & invarianceThresholds & tipping pointsTrade-offsTriangulationVariation & selectionWaves

By journey

From a Leaf to the ClimateWhy Music Moves UsHow Machines LearnReasoning about a Leaf and the Climate

Concept collections

Concept collections are curated lenses onto the fabric — themed sets of ideas that recur across disciplines. They are not journeys; they are a way to read the graph.

About this view

What this is

Start from one concept and expand outward. The view never shows everything at once — click a node to refocus, filter by relationship type, or switch to an accessible list.

One fabric

3750 concepts and 5051 typed relations form one connected component — no isolated silo.

How to read it

Focus a concept, or apply a lens (discipline, mental model, journey) to see only the threads that matter.