Introduction

Notes

Math

Epistemology

Search

Andrius Kulikauskas

  • m a t h 4 w i s d o m - g m a i l
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

用中文

  • 读物 书 影片 维基百科

Introduction E9F5FC

Questions FFFFC0

Software

Multiplying Clifford algebra generators

{$-1=e_1^2=e_2^2=e_3^2...$}

{$e_1e_2=-e_2e_1$}

{$(e_1e_2)^2=e_1e_2e_1e_2=-e_1e_1e_2e_2=-1$}

{$(e_1e_2e_3)^2=e_1e_2e_3e_1e_2e_3=e_1e_1e_2e_3e_2e_3=-e_1e_1=+1$}


Chomsky hierarchy of automata

Finite automata: {$re=er$} implies {$e\rightarrow er$}

Pushdown automata: {$ce=e\bar{c}$} implies {$e\rightarrow cec$}

Linear bounded Turing machine: {$hex=exh$} implies {$hhhhhhex\rightarrow exhhhhhh$}

Unbounded Turing machine: {$e\rightarrow$}

Edit - Upload - History - Print - Recent changes
Search:
This page was last changed on November 11, 2024, at 02:16 PM