top ::=
# by David SimmonsDuffin (http://www.physics.harvard.edu/~davidsd)
# March 2010
#
# This grammar is free from context, and also free for you to use
# however you like, although it's probably not a good idea to try
# actually submitting any of these to the arXiv. Feel free to suggest
# improvements or additions, particularly famous physicists or physics
# concepts with funny names that I forgot.
#
# The code grew organically over several hours, so it may be poorly
# organized, incomplete, and inconsistent. Hopefully the output
# reflects that.
######## Numbers ########
zdigit ::= 0  1  2  3  4  5  6  7  8  9
nzdigit ::= 1  2  3  4  5  6  7  8  9
smallinteger ::=  
n ::= n  m 
######## Basic Algebra ########
ring ::= \Z  \Q  \R  \C  \mathbb{H}
group ::= 
liegroup ::= SU()  Sp()  SO()  G_2  F_4  E_6  E_7  E_8 
Spin()
discretegroup ::= \Z  \Z_  \Z^  Hom(,)  H^(,)
 H_(,)  Ext^(,)  M_()  SL_()
 Dih_
groupaction ::= orbifold  quotient
######## Spaces ########
space ::=  
singspace ::= a  a  
 
 a bundle over  fibered over
 the moduli space of  a
 the of  a of
 the near horizon geometry of
pluralspace ::= s  s  copies of 
fibered over 
s 
bundles over  moduli spaces of  s of
spaceadj ::=  warped  squashed  noncompact  compact 
hyperKahler  Kahler  exotic  projective  noncommutative  fuzzy 
ellipticallyfibered  spin  hyperbolic  Einstein  Ricciflat  Euclidean 
Minkowskian  planar  harmonic  symplectic  ALE  ALF
spaceproperty ::= of holonomy  with
bundletype ::=  line  affine 
spacetype ::= CalabiYau fold Riemann surface manifold fold manifold
symmetric space K3 delPezzo KlebanovStrassler background RS1 background
lens space Hirzebruch surface Enriques surface rational surface ALE fibration
ALF space linear dilaton background AtiyahHitchen manifold
generalspacetype ::= surface  line  hyperplane  hypersurface
properspacename ::= Anti de Sitter Space  de Sitter Space  TaubNUT Space  superspace
mathspace ::= AdS_  S^  R^  CY_  C^
 dS_  T^  x  P^
spacepart ::= boundary  conformal boundary  null future  horizon  NUT
######## More Mathematics ########
mapping ::=
function  mapping  homomorphism  homeomorphism  isomorphism
 surjective  injective  holomorphism
 biholomorphism  isometry
mathadj ::= trivial  nontrivial  zero  nonzero  general  discrete  abelian
 nonabelian  equivariant  symmetric
mathobj ::= fundamental group  cohomology  homology  torsion  monodromy
 spinstructure  dimension  complexstructure  flux  Bfield
 Hflux
representation ::= adjoint symmetric tensor antisymmetric tensor singlet doublet triplet
######## Theories ########
theory ::= 
singtheory ::= 
pluraltheory ::= 
theorymodifier ::=  on  deformed by s  on

compactified ::= living  compactified  dimensionally reduced  supported
near ::= in the presence of  near  surrounded by  far from
qft ::=   
singqft ::=  
 a
pluralqft ::= s
qftadj ::=   supersymmetric  N=  adjoint  superconformal
 conformal  extremal  chiral  topological  dimensional  twisted
 topologically twisted  deformed  perturbative  nonperturbative  Toda  WZW
qftproperty ::= with
qftobj ::= a  s  superpotential  kahler potential
 s  a
 gauge group  a deformation  a defect
genericqft ::= QFT CFT Matrix Model TQFT Theory
theorytype ::= Effective Field  Quantum Field  Conformal Field  SoftCollinear Effective  Topological Field
 Heavy Quark Effective  lowenergy Effective  String  YangMills  ChernSimons  gauge
properqft ::= QCD  QED  supergravity  unparticle physics
stringtheory ::= 
singstringtheory ::= String Theory  FTheory  MTheory  Heterotic string theory
 Topological String Theory  type IIA  type IIB
pluralstringtheory ::= String theories  Heterotic strings  type IIA strings  type IIB strings
 type I strings  topological strings  bosonic strings
######## Physics Objects ########
theoryobj ::= 
singtheoryobj ::= a black hole  a singularity  a brane
 a stack of branes  a defect  an instanton
 an orientifold plane  a instanton  a brane probe
pluraltheoryobj ::= black holes  singularities
 branes  defects
 orientifold planes  instantons  instantons
bhadj ::= orientifold  BTZ  Kerr  ReisnerNordstrom  small  large
 Schwarzschild  brane  massive  extremal
singularityadj ::= A_  B_  C_  D_  E_6  E_7  E_8  G_2  F_4  conifold
 conical  ADE  orbifold  du Val  Kleinian  rational doublepoint  canonical
 exceptional 
branetype ::= NS5  D  (p,q) 7  (p,q)  noncommutative  black  fractional D
 special lagrangian  canonical coisotropic  holomorphic  Atype  Btype
braneaction ::=  wrapping a  wrapped on
operator ::= operator ChernSimons term Fterm Wilson line 't Hooft line
operator Dterm
optype ::= primary  quasiprimary  marginal  relevant  irrelevant  fourquark  multifermion
 loop  local  nonlocal  BPS
field ::= boson fermion gaugefield form scalar
objectplace ::= at the center of the galaxy  in our solar system  on the surface of the sun
 at the edge of our universe  in the CMB  at the LHC  at the Tevatron
 at SNO  at ATLAS  in the interstellar medium  at DAMA  at CDMS
 in the early universe  during inflation  after reheating  at the GUT scale
 at the weak scale  at $\Lambda_{QCD}$  at the intermediate scale  at the Planck scale
######## Model ########
model ::= 
singmodel ::= a model of  a model for  a model
 the  the 
 inflation   
pluralmodel ::= models of  models  models of s
modelmodifier ::=  of  for  with s
propermodel ::= Standard Model  MSSM  MSSM  Thirring Model  Ising Model
 XXZ Model  O(n) Model  Model  LandauGinzburg Model
 Amodel  Bmodel
nnnn ::= N  N
generalmodel ::= gravity  general relativity  RS1  RS2  technicolor
 gauge mediation  anomaly mediation 
 mechanics  dynamics  hydrodynamics
 thermodynamics  unparticle physics
dynadjective ::= quantum  
######## Adjectives ########
physadj ::=  non
 
 
 
 
 
 
 
nondescriptivephysadj ::=
seesaw  curvaton  hybrid  quantum  loop  cosmon
 scalar    isocurvature  brane
 condensate  threefluid  multifield  variable mass
 particle  matrix  lattice  inflaton  bulk  boundary  halo
 braneworld  GUT   scalar field  RS
 flavor  LandauGinzburg  Planck   leftright
 largeN  parent  QCD  QED  BPS  unparticle  highscale  lowscale
 large mass
descriptivephysadj ::=
nongaussian  simple  inflationary  inflationary
 exactlysoluble  unified  minimal  quantum  linear  nonlinear
 gravitational  quantum gravitational  cosmological  supersymmetric
 holographic  entropic  alternative  nonstandard  multidimensional
 nonlocal  chiral  phenomenological  nonperturbative  perturbative
 warped  dimensional  conformal  modified  supergravity mediated
 gauge mediated  anomaly mediated  superconformal  extraordinary
 general  anthropic  nilpotent  asymmetric  symmetric
 invariant  spontaneous  thermodynamic  planar  inertial
 metastable  unstable  tachyonic  transverse  longitudinal
 momentumdependent  exclusive  diffractive  dynamical  effective
 acoustic  primordial  possible  impossible  calculable  predictive
 unconventional  macroscopic  microscopic  holomorphic
 consistent  inconsistent  anomalous
inflationadj ::= 
 
 $D$Term  anisotropic  asymptotic  brane  braneworld chaotic
 BransDicke  chaotic  cosmological  de Sitter  double
 dynamical  elastic  extended  extranatural  Fterm  hybrid  false vacuum
 firstorder  general  generalized assisted  highercurvature  hyper
 inflatonless  inspired  inverted  K  largescale  latetime
 mild  low scale  modular invariant  multicomponent  multifield stochastic
 multifield  mutated  natural  new  $\Omega<1$  assisted  braneassisted
 tachyonic  liouville  open  CobeDmrnormalized  Dterm  dissipative
 supersymmetric  eternal  extended  extreme  facilitated  warm
 generalized  gravitoelectromagnetic  holographic  induced  inhomogeneous
 intermediate  kinetic  local  mass  moduli  slowroll  multiscalar
 supergravity  natural  boundary  cosmic  dominated  early
 exact  fake  field line  fresh  gravity driven  inducedgravity
 intermediate scale  JordanBransDicke  large field  locked
 massive  monopole  multiple  multiplestage  supergravity
 nonslowroll  old  particle physics  polelike  powerlaw mass
 precise  pseudonatural  quasiopen  racetrack  runningmass
 simple  single scalar  singlebubble  spacetime  noncommutative
 standard  steadystate  successful  sunergistic  tensor field
 thermal brane  tilted ghost  topological  tsunami  unified  weak scale
 noiseinduced  onebubble  openuniverse  patch  polynomial  primary
 quadratic  quintessential  rapid  asymmetric  scalartensor
 noncanonical  smooth  spindriven  Starobinsky  stochastic
 stringforming  TeVscale  three form  topological defect  viable
 weakdissipative  nonminimal  oscillating  phantom  power law
 prebigbang  primordial  quantum  Rinvariant  running
 shearfree  rotating  slinky  spinodal  thermal  tidal  treelevel
 twostage  anthropic
######## Physicist ########
physicist ::=   
physicistname ::=
Weinberg  Feynman  Witten  Seiberg  Polchinski  Intrilligator
 Vafa  Randall  Sundrum  Strominger  Georgi  Glashow  Coleman
 Bohr  Fermi  Heisenberg  Maldacena  Einstein  Kachru  ArkaniHamed
 Schwinger  Higgs  Hitchin  Hawking  Stueckelberg  Unruh  AranovBohm
 't Hooft  Silverstein  Horava  Lifschitz  Beckenstein  Planck
 Euler  Lagrange  Maxwell  Boltzmann  Lorentz  Poincare  Susskind
 Polyakov  GellMann  Penrose  Dyson  Dirac  Argyres  Douglass
 Gross  Politzer  Cabibo  Kobayashi  Denef  Shenker  Moore
 Nekrosov  Gaiotto  Motl  Strassler  Klebanov  Nelson  Gubser
 Verlinde  Bogoliubov  Schwartz
######## Concepts ########
mathconcept ::= 
singmathconcept ::= integrability  perturbation theory  localization
 duality  chaos  structure  's equation
 dimensionality  duality  unitarity
 representation theory  ClebschGordon decomposition
 sheaf cohomology  anomaly matching 
pluralmathconcept ::= gerbs  path integrals  Feynman diagrams  structures
 equations  's equations  conformal blocks
 operators  dualities  points  characters
 central charges  charges  currents  representations  conditions
 symplectic quotients  hyperkahler quotients  Nahm's equations  vortices
 vortex equations  Hilbert schemes  integration cycles  divisors  line bundles
 index theorems  flow equations  metrics  GromovWitten invariants
 GopakumarVafa invariants  Donaldson polynomials
physconcept ::=