Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Impact: Problem Solving01:26

Impact: Problem Solving

In an experiment conducted during a Mars mission, a rover propels a projectile with an initial velocity, and the projectile rebounds after colliding with the Martian surface. To ascertain the maximum height attained by the projectile after this collision, the known restitution coefficient and acceleration due to gravity are employed.
By designating the launch point as the origin and utilizing kinematic equations, the vertical component of the projectile's velocity at the point of impact is...
Complementation Tests00:49

Complementation Tests

A complementation test is a simple cross to identify whether the two mutations are located on the same gene or different genes. It was first performed by Edward Lewis in the 1940s while working on fruit flies. He developed the test to identify the location and arrangement of different mutations on chromosomes.
Organisms heterozygous for different mutations are crossed pairwise in all combinations. If present on different genes, the mutations can complement each other by providing the missing...
Statically Indeterminate Problem Solving01:16

Statically Indeterminate Problem Solving

Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...
Language and Cognition01:27

Language and Cognition

Language serves as a bridge between ideas and communication, influencing how individuals perceive and interact with the world. Psychologists have long debated whether language shapes thought or vice versa. This discussion gained grip with Edward Sapir and Benjamin Lee Whorf in the 1940s, who proposed that language determines thought, a concept known as linguistic determinism. They suggested that the vocabulary and structure of a language influence how its speakers think and perceive reality.
Language Development01:22

Language Development

Children master language quickly and with relative ease, supported by both biological predisposition and reinforcement. B. F. Skinner (1957) proposed that language is learned through reinforcement, while Noam Chomsky (1965) argued that language acquisition mechanisms are biologically determined.
The critical period for language acquisition suggests that the ability to acquire language is at its peak early in life. As people age, this proficiency decreases. Language development begins very...
Components of Language01:24

Components of Language

Language, whether spoken, signed, or written, consists of specific components: lexicon and grammar. The lexicon is the vocabulary of a language, comprising its words. Grammar is the set of rules used to convey meaning through the lexicon. For example, English grammar adds “-ed” to most verbs to indicate past tense. Words are formed by combining phonemes, which are the basic sound units of a language. Different languages have different sets of phonemes (e.g., “ah” vs. “eh”). Phonemes combine to...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Targeting Multiple KRAS Mutations with High-Affinity Macrocyclic Inhibitors: From Discovery to Preclinical Validation.

Journal of medicinal chemistry·2026
Same author

Female Color Vision Deficiency is Associated with Increased Prevalence of Amblyopia, Strabismus and Ametropia.

Current eye research·2026
Same author

Capturing gene-cell duality in a cat's cradle.

Bioinformatics (Oxford, England)·2026
Same author

A Narrative Review of Mesh Suture in Abdominal Wall Reconstruction: Biomechanics, Early Outcomes, and Proposed Clinical Algorithm.

Journal of abdominal wall surgery : JAWS·2025
Same author

The syntenic long non-coding RNA DANCR is an essential regulator of zebrafish development and a human melanoma oncogene.

PLoS genetics·2025
Same author

Interplay of Coronary Artery Calcium and PREVENT Equations in Atherosclerotic Cardiovascular Disease Risk Prediction.

Journal of the American College of Cardiology·2025
Same journal

ON A GENERALIZATION OF DEHN'S ALGORITHM.

International journal of algebra and computation·2009
See all related articles

Related Experiment Video

Updated: Jun 17, 2026

Lexical Decision Task for Studying Written Word Recognition in Adults with and without Dementia or Mild Cognitive Impairment
06:48

Lexical Decision Task for Studying Written Word Recognition in Adults with and without Dementia or Mild Cognitive Impairment

Published on: June 25, 2019

GROUPS THAT DO AND DO NOT HAVE GROWING CONTEXT-SENSITIVE WORD PROBLEM.

Derek F Holt1, Sarah Rees, Michael Shapiro

  • 1Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK.

International Journal of Algebra and Computation
|December 10, 2009
PubMed
Summary
This summary is machine-generated.

Groups with word problems solvable by non-deterministic Cannon's algorithms have growing context-sensitive language word problems. This research generalizes existing findings and introduces new group examples, contributing to language-theoretic separations.

More Related Videos

Transcranial Direct Current Stimulation (tDCS) of Wernicke's and Broca's Areas in Studies of Language Learning and Word Acquisition
12:49

Transcranial Direct Current Stimulation (tDCS) of Wernicke's and Broca's Areas in Studies of Language Learning and Word Acquisition

Published on: July 13, 2019

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks
08:32

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks

Published on: September 5, 2019

Related Experiment Videos

Last Updated: Jun 17, 2026

Lexical Decision Task for Studying Written Word Recognition in Adults with and without Dementia or Mild Cognitive Impairment
06:48

Lexical Decision Task for Studying Written Word Recognition in Adults with and without Dementia or Mild Cognitive Impairment

Published on: June 25, 2019

Transcranial Direct Current Stimulation (tDCS) of Wernicke's and Broca's Areas in Studies of Language Learning and Word Acquisition
12:49

Transcranial Direct Current Stimulation (tDCS) of Wernicke's and Broca's Areas in Studies of Language Learning and Word Acquisition

Published on: July 13, 2019

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks
08:32

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks

Published on: September 5, 2019

Area of Science:

  • Group Theory
  • Theoretical Computer Science
  • Formal Languages

Background:

  • The word problem for groups is a fundamental concept in group theory and computational complexity.
  • Cannon's algorithm provides a method for solving the word problem in certain groups.
  • Context-sensitive languages and growing context-sensitive languages represent different levels of computational complexity.

Purpose of the Study:

  • To establish a precise characterization of groups whose word problem is a growing context-sensitive language.
  • To generalize existing results on Cannon's algorithms and word problem complexity.
  • To provide new examples of groups that separate different classes of formal languages.

Main Methods:

  • Utilizing non-deterministic Cannon's algorithms to analyze group word problem solvability.
  • Generalizing the framework established by Goodman and Shapiro for deterministic algorithms.
  • Constructing and analyzing specific group examples to demonstrate language-theoretic separations.

Main Results:

  • A group's word problem is a growing context-sensitive language if and only if it is solvable by a non-deterministic Cannon's algorithm.
  • Identification of numerous groups that do not admit non-deterministic Cannon's algorithms.
  • New examples of groups that distinguish between context-sensitive and growing context-sensitive word problems.

Conclusions:

  • The study provides a definitive link between non-deterministic Cannon's algorithms and growing context-sensitive word problems in group theory.
  • The findings expand the landscape of known groups with varying word problem complexities.
  • This work offers a novel language-theoretic separation result within the study of group word problems.