### What do you see as an issue?

The documentation for zombie tasks https://airflow.apache.org/docs/apache-airflow/stable/core-concepts/tasks.html#zombie-undead-tasks is a bit abstract at the moment. There is a scope for enhancing the document by explaining how Airflow detects tasks as zombies

### Solving the problem

We can enhance the documentation by translating this query https://github.com/astronomer/airflow/blob/main/airflow/jobs/scheduler_job_runner.py#L1721 to a layman readable text in our documentation.

### Anything else

It might also help to add developer contribution steps to reproduce zombies locally.

### Are you willing to submit PR?

- [ ] Yes I am willing to submit a PR!

### Code of Conduct

- [X] I agree to follow this project's [Code of Conduct](https://github.com/apache/airflow/blob/main/CODE_OF_CONDUCT.md)

if starved_pools:
                query = query.where(not_(TI.pool.in_(starved_pools)))
            if starved_dags:
                query = query.where(not_(TI.dag_id.in_(starved_dags)))
            if starved_tasks:
                task_filter = tuple_in_condition((TI.dag_id, TI.task_id), starved_tasks)
                query = query.where(not_(task_filter))
            if starved_tasks_task_dagrun_concurrency:
                task_filter = tuple_in_condition(
                    (TI.dag_id, TI.run_id, TI.task_id),
                    starved_tasks_task_dagrun_concurrency,
                )
                query = query.where(not_(task_filter))
            query = query.limit(max_tis)
            timer = Stats.timer("scheduler.critical_section_query_duration")
            timer.start()
            try:
                query = with_row_locks(
                    query,
                    of=TI,
                    session=session,
                    **skip_locked(session=session),
                )
                task_instances_to_examine: list[TI] = session.scalars(query).all()
                timer.stop(send=True)
            except OperationalError as e:
                timer.stop(send=False)
                raise e