Category theory | Finite automata | Semigroup theory

Semiautomaton

In mathematics and theoretical computer science, a semiautomaton is a deterministic finite automaton having inputs but no output. It consists of a set Q of states, a set Σ called the input alphabet, and a function T: Q × Σ → Q called the transition function. Associated with any semiautomaton is a monoid called the characteristic monoid, input monoid, transition monoid or transition system of the semiautomaton, which acts on the set of states Q. This may be viewed either as an action of the free monoid of strings in the input alphabet Σ, or as the induced transformation semigroup of Q. In older books like Clifford and Preston (1967) semigroup actions are called "operands". In category theory, semiautomata essentially are functors. (Wikipedia).

Video thumbnail

(ML 19.5) Positive semidefinite kernels (Covariance functions)

Definition of a positive semidefinite kernel, or covariance function. A simple example. Explanation of terminology: autocovariance, positive definite kernel, stationary kernel, isotropic kernel, covariogram, positive definite function.

From playlist Machine Learning

Video thumbnail

Inner & Outer Semidirect Products Derivation - Group Theory

Semidirect products are a very important tool for studying groups because they allow us to break a group into smaller components using normal subgroups and complements! Here we describe a derivation for the idea of semidirect products and an explanation of how the map into the automorphism

From playlist Group Theory

Video thumbnail

Product Rules in Semidefinite Programming - Rajat Mittal

Rajat Mittal March 22, 2010 Semidefinite programming bounds are widely used in combinatorial optimization, quantum computing and complexity theory. The first semidefinite programming bound to gain fame is the so-called theta number developed by Lov\'asz to compute the Shannon capacity of

From playlist Mathematics

Video thumbnail

Semiclassical Eigenfunction Estimates - Melissa Tacy

Semiclassical Eigenfunction Estimates - Melissa Tacy Institute for Advanced Study October 29, 2010 ANALYSIS/MATHEMATICAL PHYSICS SEMINAR Concentration phenomena for Laplacian eigenfunctions can be studied by obtaining estimates for their LpLp growth. By considering eigenfunctions as quasi

From playlist Mathematics

Video thumbnail

An incredible semicircle problem!

A semicircle contains an inscribed semicircle dividing its diameter into two lengths a and b. Can you find the formula for the inscribed semicircle's diameter in terms of the lengths a and b? What is the locus of the center of the inscribed semicircle? Thanks to Nick from Greece for the su

From playlist Math Puzzles, Riddles And Brain Teasers

Video thumbnail

Joachim Cuntz: Semigroup C*-algebras and toric varieties

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. The coordinate ring of a toric variety is the semigroup ring of a finitely generated subsemigroup of Zn. Such semigroups have the interesting feature that their family of constructib

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Semi-coarse Spaces, Homotopy [Jonathan Treviño-Marroquín]

Semi-coarse spaces is an alternative to study (undirected) graphs through large-scale geometry. In this video, we present the structure and a homotopy what we worked on. In the final part, we look at the fundamental homotopy group of cyclic graphs.

From playlist Contributed Videos

Video thumbnail

How To Calculate The Perimeter of a Semicircle

This video explains how to calculate the perimeter of a semicircle given the radius and diameter in two separate practice problems.

From playlist Pre-Algebra Video Playlist

Video thumbnail

Various Approaches to Semiclassical Quantum Dynamics - George A. Hagedorn

George A. Hagedorn Virginia Tech March 6, 2012 I shall describe several techniques for finding approximate solutions to the time-dependent Schr\"odinger equation in the semiclassical limit. The first of these involves expansions in "semiclassical wave packets" that are also sometimes calle

From playlist Mathematics

Video thumbnail

André Martinez : Estimates on the molecular dynamics for the predissociation process

Abstract: We study the survival probability associated with a semiclassical matrix Schrödinger operator that models the predissociation of a general molecule in the Born-Oppenheimer approximation. We show that it is given by its usual time-dependent exponential contribution, up to a remind

From playlist Mathematical Physics

Related pages

Qubit | String (computer science) | Theoretical computer science | Transformation semigroup | Deterministic finite automaton | Isomorphism | Identity element | Regular language | Identity function | Syntactic monoid | Semigroup action | Semigroup | Mathematics | Set (mathematics) | Function (mathematics) | De Bruijn graph | Free monoid | Category theory | Category (mathematics) | Unitary matrix | Functor | Kleene star | Function composition | Complex projective space | State (computer science) | Monoid